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