Proof of MonadZip instance for CofreeT