blob: ceba706f876f56e794cd9823bd67cd18c6c60db9 (
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
|