Interested in type theory and programming language design, with a particular focus on Haskell and Rust.