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

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