let
coerce =
Rep_gen
.coerce