-
John van Groningen authored
don't allow attributes of type constructor variables in type class contexts, instead of requiring uniform attribution of all occurrences in the type and the context (in inferred types these attributes are removed from type class contexts)
677b58f1