testsuite/tests/typecheck/should_fail/T7696.stderr


1
2
3
4
5
6
7


T7696.hs:7:6: error:
    • Couldn't match type ‘m0 a0’ with ‘()’
      Expected type: ((), w ())
        Actual type: (m0 a0, t0 m0)
    • In the expression: f1
      In an equation for ‘f2’: f2 = f1