haskell-types: Make fonts smaller
haskell-types: Add draft slides
haskell-types: Add examples