Implements.Interface
type t('M, 'T) = ('M, t'('M, 'T));
and t'('M, 'T) = {
id: Identifier.t('M, 'T),
targs: option(Type.TypeArgs.t('M, 'T)),
};