-
John van Groningen authored
when deriving or defining a generic function for a type synonym, expand the type synonym if the right hand side consists of a type (not a synonym) applied to the same type variables (>0) as on the left hand side (and in the same order)
83984314