purescript-0.15.1: tests/purs/failing/PASTrumpsKDNU3.purs

-- @shouldFailWith PartiallyAppliedSynonym
module Main where

import Prelude

data Proxy :: forall k. k -> Type
data Proxy a = Proxy

p :: Proxy (forall a. (~>) Array)
p = Proxy