blob: cadd4e3d4075611eff93e29d0240d5c922b26d60 (
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: [GHC-91028]
• 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: [GHC-91028]
• 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)’
|