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

-- @shouldFailWith QuantificationCheckFailureInType
module Main where

data Proxy a = Proxy

data P = P (forall a. Proxy a)