Error found:
in module Main
at tests/purs/failing/PolykindInstanceOverlapping.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:

    Main.test1
    Main.test2


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.