Bimonad

A datatype that’s both a Monad and a Comonad.

TODO. Meanwhile you can find a short description in the intro to typeclasses.

Do you like Arrow?

Arrow Org
<