Eryk Ciepiela
Eryk Ciepiela
That's very minor, yet, may discourage users who are new to this excellent library and wants to evaluate it. What I did with the first example: ``` const coords =...
``` splitStrong :: forall p a b c d . Category p -- actually only Semigroupoid required => Strong p => p a b -> p c d -> p...
Is there any reason why `Strong`/`Choice` require `second`/`right` and not instead derive them from `first`/`left`? ``` secondBasedOnFirst :: forall p a b c. Strong p => p a b ->...