MonadZip instance for CofreeT
Proof of MonadZip instance for CofreeT
Merge branch cofreet-monadzip-instance into master-pending