blob: 4ee54563c57c5bfc8e2741c8a335d5abbfe0d8b7 (
plain)
1
2
3
4
5
6
7
|
T15918.hs:19:19: error:
• Couldn't match kind ‘*’ with ‘k0 -> *’
Expected kind ‘(k0 -> *) -> Constraint’, but ‘[]’ has kind ‘* -> *’
• In the first argument of ‘Build’, namely ‘[]’
In an expression type signature: Build [] a
In the expression: rev :: Build [] a
|