path: root/testsuite/tests/ghci.debugger/scripts/print033.script

-- Resolving an impredicative type
:set -XImpredicativeTypes -fno-warn-deprecated-flags
:m + Control.Monad.ST
let u = undefined :: ST s (forall s'. ST s' a)
:p u