I am a software engineer (currently working at Scrive) with a long-standing interest in statically typed functional programming (primarily Haskell), type systems, compiler construction, programming languages research and related topics. This is my personal blog.