Remove Apply, Applicative implications for EitherT, LazyEitherT.

They are inconsistent with the implied Monad, as a consistent ap requires Monad.

Also fix the ap order in EitherT.ap, while leaving it inconsistent.