Test #11252 in ghci/scripts/T11252
[ghc.git] / testsuite / tests / ghci / scripts / T11252.stdout
1 Proxy1 :: forall k -> k -> *