Hi Jeff, | Without delving too deeply into your example, it looks like=20 | you've bumped into a known bug in Hugs implementation of=20 | functional dependencies. You should try GHCI if you can - it=20 | doesn't suffer from this bug. Are there any plans to fix the bug in Hugs? (And is there anywhere that the bug is documented?) All the best, Mark