Hyperdatatype -> Datatype