path: root/testsuite/tests/typecheck/should_fail/tcfail107.stderr

tcfail107.hs:13:9:
    Type synonym `Const' should have 2 arguments, but has been given 1
    In the type signature for `test':
      test :: Thing (Const Int) -> Thing (Const Int)