3 ms·Thanks! Typeclasses are also something I really like about Lean.by markusde 5mo agoThanks! Typeclasses are also something I really like about Lean.