-
Simon Peyton Jones authored
The universal type variables of a data constructor are not necessarily identical to those of its parent type constructor, especially if the data type is imported. While I was at it, I did a significant refactoring to make all this traversal of types more comprehensible, by adding the data type FFoldType.
22eefb51