That&#x27;s exactly it: they&#x27;re a good solution to the problem, but since type classes work specifically by avoiding subtype polymorphism (and are instead a mix of parametric and ad hoc polymorphism), they cannot be part of a discussion that is centered on whether or not subtype polymorphism is a good fit.<p>But, yes. The more I code, the more it feels like type classes are never <i>not</i> a good answer.