Typeclassopedia exercises done in literate Haskell.