purescript-0.15.15: tests/purs/passing/QuantifiedKind.purs

module Main where

import Effect.Console (log)

data Proxy a = Proxy

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

main = log "Done"