1Error found:
2in module Main
3at tests/purs/failing/PolykindInstanceOverlapping.purs:12:1 - 13:19 (line 12, column 1 - line 13, column 19)
4
5  Overlapping type class instances found for
6                        
7    Main.ShowP (Proxy a)
8                        
9  The following instances were found:
10
11    Main.test1
12    Main.test2
13
14
15in type class instance
16                             
17  Main.ShowP (Proxy (a :: k))
18                             
19
20See https://github.com/purescript/documentation/blob/master/errors/OverlappingInstances.md for more information,
21or to contribute content related to this error.
22
23