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