Reference.DataType
type t = [
| `Resolved of Resolved.DataType.t
| `Root of string * [ `TUnknown | `TType ]
| `Dot of LabelParent.t * string
| `Type of Signature.t * Names.TypeName.t
]