Portability  MPTCs, fundeps 

Stability  provisional 
Maintainer  Edward Kmett <ekmett@gmail.com> 
Documentation
liftYoneda :: a > Yoneda aSource
lowerYoneda :: Yoneda a > aSource
YonedaT  

ComonadTrans YonedaT  
MonadTrans YonedaT  
Monad m => Monad (YonedaT m)  
Functor (YonedaT f)  
MonadFix m => MonadFix (YonedaT m)  
MonadPlus m => MonadPlus (YonedaT m)  
Applicative f => Applicative (YonedaT f)  
Foldable f => Foldable (YonedaT f)  
Traversable f => Traversable (YonedaT f)  
Alternative f => Alternative (YonedaT f)  
Comonad w => Comonad (YonedaT w)  
Extend w => Extend (YonedaT w)  
Distributive f => Distributive (YonedaT f)  
Plus f => Plus (YonedaT f)  
Alt f => Alt (YonedaT f)  
Apply f => Apply (YonedaT f)  
Adjunction f g => Adjunction (YonedaT f) (YonedaT g)  
Eq (f a) => Eq (YonedaT f a)  
Ord (f a) => Ord (YonedaT f a)  
(Functor f, Read (f a)) => Read (YonedaT f a)  
Show (f a) => Show (YonedaT f a) 
liftYonedaT :: Functor f => f a > YonedaT f aSource
lowerYonedaT :: YonedaT f a > f aSource