Brian McKenna
Brian McKenna
I have something for you to try out over here: https://github.com/termux/termux-packages/pull/1194
@bjpop I agree: ``` haskell data ClassyBody = ClassBody (NonEmptyList a) | ClassBodyPass ```
I don't think `empty :: forall a. Set a` should become `empty :: forall a. Ord a => Set a` - it doesn't actually use the Ord. We've lost some...
I can reproduce this but I'm using the same kernel and same device. I'm using NixOS so it's slightly different versions of everything else. It's not a sway specific issue...
@TomasMikula it's annoying, because Scala reasons, but I still prefer the code reuse.
> Subjectively, I don't think that hiding the use of Free serves to clarify things. It does, because parametricity.
Some things on my list: - [x] Task (#1086) - [x] TaskApp - [x] Run - [x] Timer - [x] Strategy - [ ] Nondeterminism - [ ] Catchable -...
@tpolecat I think Actor could be useful but it needs Strategy fixed.
@vmarquez I think Nondeterminisim could be useful but probably shouldn't be a type-class and needs less sys.error
If `Arrow` was just `trait Arrow[F[_, _]] extends Strong[F] with Category[F]` then that'd be useful :+1: `arr` is derivable via: ```haskell arr = flip lmap id ```