testsuite/tests/patsyn/should_fail/T15289.stderr


1
2
3
4
5
6
7


T15289.hs:5:24: error:
    • Expecting one more argument to ‘Maybe’
      Expected a type, but ‘Maybe’ has kind ‘* -> *’
    • In the type ‘Maybe’
      In a pattern type signature: Maybe
      In the pattern: True :: Maybe