3 The constrained type variable `b' does not appear in the type `m a'
4 In the type signature for `setState0'
6 rnfail018.hs:12: Type variable not in scope: `a'
8 rnfail018.hs:12: Type variable not in scope: `m'
10 rnfail018.hs:12: Type variable not in scope: `m'
12 rnfail018.hs:12: Type variable not in scope: `a'
14 Compilation had errors