let adaptability_cstrs_of_subtyping_cstrs cstrs =
  List.map adaptability_cstr_of_subtyping_cstr cstrs