typescheme
typed schemez
start type vars at (max+1)
Don't ghc -prof on the Kitten executable

Cabal emits a warning:

> Warning: 'ghc-options: -prof' is not necessary and will
> lead to problems when used on a library. Use the configure
> flag --enable-library-profiling and/or
> --enable-executable-profiling.
f teh infer
moar!
wipz