slides: intro to category theory, haskell, monads, state