Comment by markusde

Thanks! Typeclasses are also something I really like about Lean.