blob: b4759714c2d882efa56ff74164e97a4cbb5572ba (
plain)
1
2
3
4
5
6
7
8
|
<interactive>:2:1: error:
• Kind variable ‘k’ is implicitly bound in data type
‘D1’, but does not appear as the kind of any
of its type variables. Perhaps you meant
to bind it explicitly somewhere?
Type variables with inferred kinds: (k :: *)
• In the data type declaration for ‘D1’
|
