purescript-0.14.0: tests/purs/failing/QuantifiedKind.purs

-- @shouldFailWith UndefinedTypeVariable
module Main where

data Proxy a = Proxy

test :: forall (a :: k) k. Proxy a
test = Proxy