Type classes vs. OO subtypes
Type classes do not support run-time heterogeneous collections
- Cannot have functions that accept lists of mixed ints and reals
- (Roughly) no run-time subtyping, only compile-time subtyping
The constraints defined using type classes are not straightforward to define in most OO languages