path: root/testsuite/tests/indexed-types/should_fail/T5934.stderr

T5934.hs:12:7:
    Cannot instantiate unification variable ‛a0’
    with a type involving foralls: (forall s. GenST s) -> Int
      Perhaps you want -XImpredicativeTypes
    In the expression: 0
    In an equation for ‛run’: run = 0