let pretty = Datatype.from_pretty_code