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?