x              Safe-InferredIt's just ~> flipped.  type m <~ n = n ~> m The ~> type represents arrows in the  category of MHask. .Left-to-right composition of arrows in MHask. It's just ~>~ flipped.  (~<~) = flip (~>~)  Safe-InferredFunctor is its own dual. Flipping the arrows on fmap's type signature . is just the same type signature in disguise.  (m <~ n) -> (t m <~ t n)  Safe-Inferred The dual of MHask.Copointed  ! ! Safe-InferredDual of  MHask.Comonad      Safe-Inferred  The dual of  MHask.Pointed  "#$    "#$ Safe-Inferred Dual of  MHask.Monad      Safe-InferredThe indexed version of  MHask.Functor.  IxFunctor is its own dual. Flipping the arrows on imap's type signature . is just the same type signature in disguise. " (m <~ n) -> (t i j m <~ t i j n)  Safe-InferredThe indexed version of  MHask.Pointed.  The dual of MHask.Indexed.Copointed.   Safe-InferredIndexed version of  MHask.Monad.  Dual of MHask.Indexed.Comonad   Safe-InferredThe indexed version of MHask.Copointed.  The dual of MHask.Indexed.Pointed.   Safe-InferredIndexed version of  MHask.Comonad.  Dual of MHask.Indexed.Monad   Safe-Inferred %  ! " # $ % & ' ()*+,-./012 MHask-0.2.0.0 MHask.Util MHask.Functor MHask.Pointed MHask.MonadMHask.Copointed MHask.ComonadMHask.Indexed.FunctorMHask.Indexed.PointedMHask.Indexed.MonadMHask.Indexed.CopointedMHask.Indexed.ComonadMHask<~~>~>~~<~FunctorfmapPointedreturnMonadjoinbind CopointedextractComonad duplicateextend IxFunctorimap IxPointedireturnIxMonadijoinibind IxCopointediextract IxComonad iduplicateiextend$fFunctorWriterT$fFunctorReaderT$fFunctorStateT$fPointedWriterT$fPointedReaderT$fPointedStateT$fCopointedWriterT$fCopointedReaderT$fCopointedStateT