Searching protocol for "typeclass"
Implement robust, reusable typeclasses.
Curried typeclasses with dual APIs.
Generate domain predicates and orders.
Auto-generate domain predicates and orders.