Haskell Software Engineer living in London. I'm interested in type theory, software systems design, writing code, and bouldering!