Bimonad

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

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