let
equal =
Datatype
.from_compare