Add psuedo-monads.
Transcribe the slides into the README.