category-extras-0.51.3: Various modules and constructs inspired by category theory
Control.Comonad.Coideal
Description
module Control.Monad.Ideal