Add .gitignore
Fix VerifiedApplicative and the Maybe instance

The type checker needed a hint, and applicativeComposition for the Maybe
instance was wrong.