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