Git ignore latex output
Fetch CofreeT source file
Add MonadZip instance for CofreeT
Add MonadZip instance for CofreeT proof skeleton
Git ignore ghc output
Prove mzip naturality for CofreeT