consistently using applicative *> rather than monadic >>