Replacing `ap` with `<*>` would allow `sequenceT` to weaken its constraint from `Monad` to `Applicative`.
Replacing
apwith<*>would allowsequenceTto weaken its constraint fromMonadtoApplicative.