let
pretty =
Datatype
.from_pretty_code