3 ms·Labelled preorders and coercions: different approaches to multiple inheritance2 points by matt_d 1y ago