Added VerifiedFunctor, VerifiedApplicative, and VerifiedMonad