Allow type defaulting for multi-param type classes with ExtendedDefaultRules