Probability Theory with Haskell

Section 1. Samplers form a monad. That's like writing a tutorial on parsing and starting with the fact that parsers can be given a monadic structure. Definitely not how you want to start.