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