-
Iavor S. Diatchki authored
The changes are: 1. No impredicative types in `Typeable` 2. Distinguish normal tuples, from tuples of constraints.
d8d541d8
The changes are: 1. No impredicative types in `Typeable` 2. Distinguish normal tuples, from tuples of constraints.