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

and an Applicative instance will do.