Ditch duplication and bake-in flexibility with generic programming

Monads explained in terms of classes and objects.

An intro to Haskell, functions, and running things with ghci.