Add test case for #7117
[ghc.git] / testsuite / tests / ghci / scripts / 2816.stdout
1 4
2 4
3 α :: Integer