purescript-0.15.15: tests/purs/failing/PolykindInstanceOverlapping.purs

-- @shouldFailWith OverlappingInstances
module Main where

data Proxy a = Proxy

class ShowP a where
  showP :: a -> String

instance test1 :: ShowP (Proxy ((a) :: k)) where
  showP _ = "Type"

instance test2 :: ShowP (Proxy ((a) :: k)) where
  showP _ = "Type"