4 ms·

I haven’t seen any examples of that in practice. And I was deeply into category theory for a while.