Artifact: datatype-generator