Tentative instances for Monad and Applicative for CofreeT