-
Simon Peyton Jones authored
Now we only want about "T is a type function and might not be injective" when matchin (T x) against (T y), which is the case that is really confusing.
6270b3e3
Now we only want about "T is a type function and might not be injective" when matchin (T x) against (T y), which is the case that is really confusing.