let coerce = Rep_gen.coerce