1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
<interactive>:3:1: error:
• Couldn't match kind ‘()’ with ‘*’
When matching types
a0 :: *
'() :: ()
• In the expression: undefined :: '()
In an equation for ‘it’: it = undefined :: '()
<interactive>:3:14: error:
• Expected a type, but ‘'()’ has kind ‘()’
• In an expression type signature: '()
In the expression: undefined :: '()
In an equation for ‘it’: it = undefined :: '()
<interactive>:4:14: error:
• Expected kind ‘* -> *’, but ‘Proxy '()’ has kind ‘*’
• In an expression type signature: Proxy '() Int
In the expression: undefined :: Proxy '() Int
In an equation for ‘it’: it = undefined :: Proxy '() Int
<interactive>:5:1: error:
• Couldn't match kind ‘[*]’ with ‘*’
When matching types
a0 :: *
'[(), ()] :: [*]
• In the expression: undefined :: [(), ()]
In an equation for ‘it’: it = undefined :: [(), ()]
<interactive>:5:14: error:
• Expected a type, but ‘[(), ()]’ has kind ‘[*]’
• In an expression type signature: [(), ()]
In the expression: undefined :: [(), ()]
In an equation for ‘it’: it = undefined :: [(), ()]
<interactive>:6:1: error:
• Couldn't match kind ‘([k0], [k1])’ with ‘*’
When matching types
a0 :: *
'( '[], '[]) :: ([k0], [k1])
• In the expression: undefined :: '( '[], '[])
In an equation for ‘it’: it = undefined :: '( '[], '[])
• Relevant bindings include
it :: '( '[], '[]) (bound at <interactive>:6:1)
<interactive>:6:14: error:
• Expected a type, but ‘'( '[], '[])’ has kind ‘([k0], [k1])’
• In an expression type signature: '( '[], '[])
In the expression: undefined :: '( '[], '[])
In an equation for ‘it’: it = undefined :: '( '[], '[])
• Relevant bindings include
it :: '( '[], '[]) (bound at <interactive>:6:1)
|