let e =
  Mes
    (Mod
       ((Obj [ "f", ("x", Mes (Mes (Var "x""a"), "geth")) ]), "a",
        ("_",
         (Obj ["h", ("_", Int 3); "geth", ("x", Mes (Var "x""h"))]))),
     "f");;