I am a software engineer at Unison. My professional interests include functional programming, compilers, constraint solving, and relational databases — I am particularly interested in optimization passes in GHC and query planning in PostgreSQL. I put open-source code on GitHub and can be found on libera as tstat.