Type.Infer
type t('M, 'T) = {
tparam: Type.TypeParam.t('M, 'T),
comments: option(Syntax.t('M, unit)),
};