Resolved.DataType
type t = [
| `Identifier of Identifier.DataType.t
| `CanonicalDataType of t * DataType.t
| `Type of Module.t * Names.TypeName.t
]