A wart for detecting places where using a Monad instance if redundant,

and an Applicative instance will do.