6 ms·
Type variable. Since data definitions can bind new type variables, it's necessary to consider variance there and in the resulting type constructor, too.
by tel 8y ago
Type variable. Since data definitions can bind new type variables, it's necessary to consider variance there and in the resulting type constructor, too.