A list of potential enhancements to type classes:

• Type-class-based dispatch: Type-class-based dispatch #92
• Type class hierarchy: Somehow detect that a type class is a superset of others
• Type class typing: directly access object features that a type class supports
• Type class pointers: strong-ish typed pointers which guarantee the object is of a type class