Owen Lynch
Owen Lynch
Incidentally, this makes me think that the 2-categorical structure of the category of GATs might be important, if the Hom-category of morphisms out of the single-type GAT into T is...
It's a short, dangerous step from here to want higher-level functions... and I can kind of see how they would work... 
Wait, this is *genius*. I love it.
And then it would all be in a certain context, i.e. for `assoc`, it would be ```julia @commutative begin assocr(A,B,C) : A x (B x C) -> (A x B)...
Yeah, exactly
Oh, that makes sense. Right now we're building an `stdlib` in Gatlab, but you are right that this really should be in `Catlab`; we'll move it over once `Catlab` depends...
Oh wait, that's 10 years old; I thought it was only 1 year old.
We could use https://github.com/julia-vscode/StaticLint.jl.
Or just `code_typed`.
@0x0f0f0f the benchmarks look good!