Deprecate & unimplicitize lifted Apply/Applicative OptionT and #ap; new Monad#ap satisfies laws.