testsuite/tests/typecheck/should_fail/T10351.stderr


1
2
3
4
5
6


T10351.hs:7:1: error:
    • Non type-variable argument in the constraint: C [a]
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        f :: forall {a}. C [a] => a -> ()