let unification ppf ~term1 ~term2 ~explanation = fprintf ppf "@[<v>@[The type@;<1 2>%t@ cannot be unified with@;<1 2>%t@ %t@]@]" term1 term2 explanation