let minimal ppf ~scheme ~variables =
    fprintf ppf
      "@[<v>@[In the type scheme@;<1 2>%t@ the variable(s)@;<1 2> %t@ has no minimal instance@]@]"
      scheme variables