Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail03.stderr
1
2 TcStaticPointersFail03.hs:9:29:
3     No instance for (Monad m) arising from a use of ‘return’
4     In the body of a static form: return
5     In the first argument of ‘deRefStaticPtr’, namely ‘(static return)’
6     In the expression: deRefStaticPtr (static return)