Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13738.hs
1 {-# LANGUAGE PolyKinds #-}
2 {-# LANGUAGE RankNTypes #-}
3 {-# LANGUAGE ScopedTypeVariables #-}
4 {-# LANGUAGE TypeApplications #-}
5
6
7 module T13738 where
8
9 import Data.Coerce
10 import Data.Proxy
11
12 foo x = coerce @(forall (a :: k). Proxy a -> Int)
13 @(forall (a :: k). Proxy a -> Int)
14 x