What in the Absolute Flying Spaghetti are Monad Transformers, Anyway? Part 1: A Monadic Overview Before we jump fully into monad transformers, let's briefly overview monads. Intro Overview of monads let-binding f (g x) let a = g x in f a let x = f a let y = g x "programmable semicolons"