A not-so-good VerifiedApplicative and Maybe inst.

VerifiedApplicative Maybe doesn't typecheck.