Add monadApplicative method

In response to this comment on Idris-dev:
https://github.com/idris-lang/Idris-dev/pull/1695#discussion-diff-19798449

Note that all the VerifiedMonad instances will be broken for now.