blob: 40779d4f2ebb4d110c1d1502013a580fee8657d0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T3406.hs:11:6:
The type variables ‛a, b’
should be bound by the pattern signature ‛ItemColID a b’
but are actually discarded by a type synonym
To fix this, expand the type synonym
[Note: I hope to lift this restriction in due course]
In the pattern: x :: ItemColID a b
In an equation for ‛get’:
get (x :: ItemColID a b) = x :: ItemColID a b
|