[discodachshund]

The Typelevel folks on Discord are of the opinion it's not of much interest to them

[hinkley]

I wonder if that's "not interesting" or "we already fixed this another way"