testsuite/tests/ghci/scripts/T11376.stdout


1
2
3
4
5
6

bar @Int :: Show Int => Int -> b -> Int
bar @Int :: forall b. Show Int => Int -> b -> Int
prox :: forall {k} (a :: k). Prox @{k} a
prox @Int :: Prox @{*} Int
Prox :: forall {k} (a :: k). Prox @{k} a
Prox @Int :: Prox @{*} Int