path: root/testsuite/tests/typecheck/should_fail/T17567.hs

{-# LANGUAGE PolyKinds, RankNTypes #-}

module T17567 where

import Data.Proxy

type T = forall a. Proxy a

p :: T
p = Proxy

x :: Proxy a -> a
x = undefined

y = x p