let incompatible_schemes ppf ~scheme1 ~scheme2 ~explanation =
    fprintf ppf
      "@[<v>@[The following instance of the provided scheme@;<1 2>%t@ is not compatible with the expected scheme@;<1 2>%t@ %t@]@]"
        scheme1 scheme2 explanation