I work with Haskell, functional compilers, and type systems.