blob: df162c1b1bf002601c8f1a33c764b593f14a430d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<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’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: forall k. k
• 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’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: forall k. k
• In the first argument of ‘T2’, namely ‘F2’
In the first argument of ‘Maybe’, namely ‘(T2 F2)’
In the type ‘Maybe (T2 F2)’
|
