I began this introduction by saying that we must confront the Awkward Squad if we are to write useful
programs. Does that mean that useful programs are awkward? You must judge for yourself, but I believe
that the monadic approach to programming, in which actions are first class values, is itself interesting,
beautiful, and modular. In short, Haskell is the world’s finest imperative programming language
Simon Peyton-Jones, "Tackling the Awkward Squad:
monadic input/output, concurrency, exceptions, and
foreign-language calls in Haskell" <https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf>