First attempt to warn for Monad instances without Applicative