category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Monad.Parameterized
Description
paugment :: PMonad f => (forall c. (f a c -> c) -> c) -> (a -> FixB f b) -> FixB f bSource