blob: 87e904491925c8e1b0da5f16db5176331acdf654 (
plain)
1
2
3
4
5
6
|
TyAppPat_TooMany.hs:4:4: error:
• Too many type arguments in constructor pattern for ‘Just’
Expected no more than 1; got 2
• In the pattern: Just @Int @Bool x
In an equation for ‘f’: f (Just @Int @Bool x) = x
|