morphisms-functors-0.1.2: Functors, theirs compositions and transformations
Control.Functor.Extractable
class Extractable (t :: * -> *) where Source #
Minimal complete definition
extract
Methods
extract :: t a -> a Source #