Use literate-haskell highlighting
Add explanation of “inside the monad”