I’m a Principal Researcher at Tweag I/O, frequent contributor to GHC, and general type system grease monkey.