let first subst : binding =
  match subst with
    | binding :: _ ->
        binding

    | [] ->
        failwith "Subst.first"