Error: Formal generic parameter has the same name as a class.
What to do: make sure that name of formal generic parameter is different
  from names of all classes in surrounding universe.