blob: b7d60593e15a5445db673c8c5ee24630ed14f577 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T14607.hs:22:9: error:
• Expecting one more argument to ‘LamCons a '()’
Expected a type, but ‘LamCons a '()’ has kind ‘() -> *’
• In the type signature: mk :: LamCons a '()
In the instance declaration for ‘Mk a’
T14607.hs:22:19: error:
• Expected a type, but ‘'()’ has kind ‘()’
• In the second argument of ‘LamCons’, namely ‘'()’
In the type signature: mk :: LamCons a '()
In the instance declaration for ‘Mk a’
|
