T16376.script\scripts\ghci\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/ghci/scripts/T16376.script

blob: 7bdc872322f9381a12f38e0c76b12c830eab9a90 (plain)

:set -XTypeApplications -XPolyKinds -XDataKinds
:t id @Maybe
type Id (a :: k) = a
:k Id @Maybe