blob: 2ea82aae13bbc8b9d707753b1e3acf83d9b3e503 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# 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
|