let hash = function
  | Var(_, hsh) -> hsh
  | App(_, _, hsh) -> hsh