| MonadTrans IdentityT | |
| ComonadTrans IdentityT | |
| ComonadHoist IdentityT | |
| Monad m => Monad (IdentityT m) | |
| Functor m => Functor (IdentityT m) | |
| (Monad (IdentityT m), MonadFix m) => MonadFix (IdentityT m) | |
| (Monad (IdentityT m), MonadPlus m) => MonadPlus (IdentityT m) | |
| (Functor (IdentityT m), Applicative m) => Applicative (IdentityT m) | |
| Foldable f => Foldable (IdentityT f) | |
| (Functor (IdentityT f), Foldable (IdentityT f), Traversable f) => Traversable (IdentityT f) | |
| (Applicative (IdentityT m), Alternative m) => Alternative (IdentityT m) | |
| (Functor (IdentityT w), Comonad w) => Comonad (IdentityT w) | |
| (Comonad (IdentityT w), ComonadApply w) => ComonadApply (IdentityT w) | |
| (Functor (IdentityT g), Distributive g) => Distributive (IdentityT g) | |
| (Foldable1 (IdentityT f), Traversable (IdentityT f), Traversable1 f) => Traversable1 (IdentityT f) | |
| (Foldable (IdentityT m), Foldable1 m) => Foldable1 (IdentityT m) | |
| (Functor (IdentityT w), Apply w) => Apply (IdentityT w) | |
| (Apply (IdentityT m), Bind m) => Bind (IdentityT m) | |
| (Functor (IdentityT w), Extend w) => Extend (IdentityT w) | |
| (Monad (IdentityT m), MonadIO m) => MonadIO (IdentityT m) | |