Error found:
in module Main
at tests/purs/failing/PolykindUnnamedInstanceOverlapping.purs:12:1 - 13:19 (line 12, column 1 - line 13, column 19)

  Overlapping type class instances found for
                        
    Main.ShowP (Proxy a)
                        
  The following instances were found:

    instance in module Main with type forall a. ShowP (Proxy a) (line 9, column 1 - line 10, column 19)
    instance in module Main with type forall a. ShowP (Proxy a) (line 12, column 1 - line 13, column 19)


in type class instance
                             
  Main.ShowP (Proxy (a :: k))
                             

See https://github.com/purescript/documentation/blob/master/errors/OverlappingInstances.md for more information,
or to contribute content related to this error.