blob: 7b345315693bca46b92da5a7393806380b1b9fb2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
<interactive>:1:5: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type ‘Maybe’
In the expression: id @Maybe
<interactive>:1:5: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the first argument of ‘Id’, namely ‘Maybe’
In the type ‘Id @Maybe’
|
