blob: 8b0f882ab7d0f998865a720835af0806ea5ba509 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<interactive>:1:1: error:
The type synonym ‘F1’ should have 1 argument, but has been given none
<interactive>:1:4: error:
• Expected kind ‘forall k. k’, but ‘F2’ has kind ‘k0’
• In the first argument of ‘T2’, namely ‘F2’
In the type ‘T2 F2’
<interactive>:1:1: error:
The type synonym ‘F1’ should have 1 argument, but has been given none
<interactive>:1:11: error:
• Expected kind ‘forall k. k’, but ‘F2’ has kind ‘k0’
• In the first argument of ‘T2’, namely ‘F2’
In the first argument of ‘Maybe’, namely ‘(T2 F2)’
In the type ‘Maybe (T2 F2)’
|