Who said that monads don't have any application?
They implement Applicative, so by definition they do
They implement Applicative, so by definition they do