TypeApplications

TypeApplications 拡張を使えば Proxy :: Proxy "abc" を Proxy @ "abc" のように記述することができる。

ghci による確認

code: (hs)

ghci> import Data.Proxy GHC.TypeLits

ghci> :set -XDataKinds -XTypeApplications

TypeApplications なし

code: (hs)

ghci> :t Proxy :: Proxy "abc"

Proxy :: Proxy "abc" :: Proxy "abc"

TypeApplications あり

code: (hs)

ghci> > :t Proxy @ "abc"

Proxy @ "abc" :: Proxy "abc"

ghci> p = Proxy @ "abc"

ghci> symbolVal p

"abc"

ghci> :t natVal

natVal :: KnownNat n => proxy n -> Integer

ghci> p2 = Proxy @ 100

ghci> natVal p2

100