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

-- @shouldFailWith PartiallyAppliedSynonym
module Main where

import Prelude

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

f :: forall (a :: (~>) Array). Proxy a -> Proxy a
f x = x