The Haskell Unfolder Episode 34: you already understand monads

An explanation of monads as a generalization of function composition, showing how they compose programs and what the monad laws mean.

Function composition is the idea that we can take two functions and create a new function, which applies the two functions one after the other. When viewed from the right angle, monads generalize this idea from functions to programs: construct new programs by running other programs one after the other. In this episode we make this simple idea precise. We will also see what the monad laws look like in this setting, and we will discuss an example of what goes wrong when the monad laws are broken. Links: * GitHub repo: github.com/well-typed/unfolder * Unfolder episode 8 on reasoning: youtube.com/watch?v=V7673JaWXaA