[tel]

Type variable. Since data definitions can bind new type variables, it's necessary to consider variance there and in the resulting type constructor, too.