Monads are too specific, a lot of things that they are used for could be represented by weaker constructs such as Applicative.
See e.g.: https://www.microsoft.com/en-us/research/publication/desugar...
"Furthermore, 10,899 (28.0%) were fully desugared into Applicative and Functor combinators and thus would not require a Monad constraint." б) "The Haxl codebase at Facebook. [...] and 7,600 (26.9%) were fully desugared into Applicative and/or Functor."
Comments
Monads are too specific, a lot of things that they are used for could be represented by weaker constructs such as Applicative.
See e.g.: https://www.microsoft.com/en-us/research/publication/desugar... "Furthermore, 10,899 (28.0%) were fully desugared into Applicative and Functor combinators and thus would not require a Monad constraint." б) "The Haxl codebase at Facebook. [...] and 7,600 (26.9%) were fully desugared into Applicative and/or Functor."
That doesn't really explain how they relate to the OP