3 ms·

Aren’t typeclasses just a better version of codata?