> Shockingly, our understanding of monads and monad transformers has advanced in the last 23 years. @danharaj, of course! At least enough that when someone sa

> Shockingly, our understanding of monads and monad transformers has advanced in the last 23 years. @danharaj, of course! At least enough that when someone says "MTs exist to compose monads", to understand it as "MTs are used in Haskell programs to compose monadic effects".