testsuite/tests/ghci/scripts/T11975.script


1
2
3
4
5
6
7
8
9

:set -fprint-explicit-foralls
:type mapM
:type +v mapM
:t +v mapM
let foo :: (Show a, Num b) => a -> b; foo = undefined
:set -XTypeApplications
:type foo @Int
:type +v foo @Int
:t +v foo @Int