iterT for FreeT monad transformer
coiterT for CofreeT comonad transformer