-
John van Groningen authored
feature, add deriving of type constraints with universally quantified type variablesfor (t ..) class arguments, for example if an overloaded value is the argument of function argument that has a A. type
7f30c095
feature, add deriving of type constraints with universally quantified type variablesfor (t ..) class arguments, for example if an overloaded value is the argument of function argument that has a A. type