Where do Haskell constructs such as the State, List, and Continuation monad really come from? This post explains the idea of a “functor adjunctions,” starting with a simple duality relation to show how the core properties of a monad naturally emerge. This reveals a mathematical blueprint that unifies some apparently very different concepts.