Bimonad

intermediate

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

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

Data Types

The following data types in Arrow provide instances that adhere to the Bimonad type class.