| The commented out signature is the signature that GHC infers for the
| function. When I uncomment that signature, it will no longer type
| check. Why does this happen? Even with the forall and the explicit
| signatures in the where clause, it chokes.
This very question is one that came up only
I'm developing a typesafe record library (akin to HList but starting
with key/val pairs and enforcing uniqueness and sorted order of keys).
I'm having a GHC problem I've had with other projects and seen
comments regarding it in other people's code (HList for instance: GHC
doesn't like it's own