А насколько это вообще хорошо, что инстансы Applicative и Monad семантически отличаются?