testsuite/tests/typecheck/should_fail/T20443b.stderr


1
2
3
4
5
6


T20443b.hs:13:4: error:
    • Too many type arguments in constructor pattern for ‘Proxy’
      Expected no more than 1; got 2
    • In the pattern: Proxy @Type @Int
      In an equation for ‘b’: b (Proxy @Type @Int) = ()