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

...and an `Applicative` instance will do.
Using a `Monad` instance might be a conscious decision, so a warning is issued.