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