3 ms·

I see. That was a bit obscure, though.

• tel 13y ago
  Ah, sorry, I was accidentally writing in the context of another comment I wrote in this thread where I talked about the typeclass resolution machinery. Without that context, it is pretty out of place.