Template Haskell system for implementing type classes with complex default-implementation rules