🔭 I’m currently working on GHC plugins & category theory modeling 🌱 I’m currently learning enriched category theory and dependent type theory 👯 I’m looking to collaborate on writing about functional programming 💬 Ask me about freediving 📫 How to reach me: @sellout on Mastodon.social 😄 Pronouns: they/them ⚡ Fun fact: I can hold my breath for four minutes.