purescript-0.14.0: tests/purs/failing/PolykindInstantiation.purs
-- @shouldFailWith KindsDoNotUnify module Main where data Proxy a = Proxy data F f (a :: Type) = F (f a) test1 = Proxy :: Proxy (F Proxy Int) test2 = Proxy :: Proxy (F Proxy "foo")
-- @shouldFailWith KindsDoNotUnify module Main where data Proxy a = Proxy data F f (a :: Type) = F (f a) test1 = Proxy :: Proxy (F Proxy Int) test2 = Proxy :: Proxy (F Proxy "foo")