Proofs for Applicative, Monad, MonadTrans instances of CofreeT.