-
Richard Eisenberg authored
There is no need to kind-generalise in tcRnType. Types are not instantiated eagerly, so there's never anything to generalise.
3a51abd0
There is no need to kind-generalise in tcRnType. Types are not instantiated eagerly, so there's never anything to generalise.