let missing_constraint ppf ~scheme ~constrain =
    fprintf ppf
      "@[<v>@[The expected scheme is equivalent to@;<1 2>%t@ and every instance of the provided one requires@;<1 2>@[<h>%t@]@]@]"
        scheme constrain