I'm an experienced Haskell programmer with a huge interest in the meta-theory of programming (algorithms, type theory, category theory) and functional approach to graphics processing.