MonadZip instance for CofreeT
Proof of MonadZip instance for CofreeT