let ldestr ppf ~term =
    fprintf ppf
      "@[<v>@[union(.) cannot be applied on the type@;<1 2>%t@]@]" 
      term