Agree completely, that's a really nice summary of the key problems. The mental effort of building up taxonomies in particular is exactly what put me off inheri

Agree completely, that's a really nice summary of the key problems. The mental effort of building up taxonomies in particular is exactly what put me off inheritance (and fussy type systems in general). It's too easy to jump down that rabbit hole without considering whether it's a productive activity.