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

-- @shouldFailWith EscapedSkolem
module Main where

data Proxy a = Proxy

data A (a :: forall k. k -> Type) = A

type B = Proxy A