You might be interested in Conal Eliott’s work on Compiling to Categories, which enables automatic diagram extraction (among a bunch of other things) for Haskell.
You might be interested in Conal Eliott’s work on Compiling to Categories, which enables automatic diagram extraction (among a bunch of other things) for Haskell.