Type.TypeParam
type ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' = {
name : ('M, 'M) Identifier.t;
bound : ('M, 'T) annotation_or_hint;
variance : 'M Variance.t option;
default : ('M, 'T) t option;
}