MHask.Indexed.Copointed

Documentation

class IxFunctor t => IxCopointed t where

Methods

iextract :: (Monad m, Monad (t i i m)) => t i i m ~> m