blob: 8420ca915861c169105ff5f74ea06792953b4bec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module T13738 where
import Data.Coerce
import Data.Proxy
foo x = coerce @(forall (a :: k). Proxy a -> Int)
@(forall (a :: k). Proxy a -> Int)
x
|