On Saturday, 12 March 2022 at 19:01:06 UTC, Paul Backus wrote: > Typo: `.tupleof` I use `.tupleof` otherwise, but this is old stuff from when I didn't know of it. I'll have to refactor it some day, I had hoped for it to be just... not yet.