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

Module Data types
arrow.core Eval, Function0, Id, NonEmptyList

Type Class Hierarchy