blob: ec319e74f45086dbe440c2e5ff2c6e431512eea6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeApplications, RankNTypes, GADTs, PolyKinds #-}
module ExplicitSpecificity2 where
import Data.Proxy
import Data.Kind
data T a where C :: forall {k} (a::k). Proxy a -> T a
bar :: ()
bar = let x = C @Type @Int Proxy
in ()
|