Вот я и говорю, получается, что instance Monad и instance Applicative имеют не согласующуюся друг с другом семантику.
Нужно только решить хорошо это или плохо.