I’ll be at ZuriHac soon, so I’m excited to share WireCat: a Haskell effect library and GHC plugin for faithful visual representations of executable code, based on cartesian categories, row types and proc notation.
I wrote about why cartesian categories are convenient: guaraqe.com/posts/2026-0...
guaraqe.com
WireCat: visual programming with cartesian categories
Introducing WireCat, a GHC plugin for writing typed categorical wiring
diagrams with proc notation
