Notes on writing Haskell for real services - types that carry their weight, and the boilerplate worth automating away.