|
|
|
|
|
|
by pka
144 days ago
|
|
|
> Arrows are slightly the wrong abstraction because they require an operation arr :: (a -> b) -> (a ~> b)—which requires you to be able to embed Haskell functions in your category, something which is almost never possible. Yeah, this is such a shame. It would make arrows actually usable. |
|
|