[Haskell-cafe] Using fundeps to resolve polymorphic types to concrete types

[Pablo Nogueira]

> [0] wren at xenobia:~/test $ ghc --version
> The Glorious Glasgow Haskell Compilation System, version 6.8.2

I have an older version and wonder what goes wrong. Now that I think
of it, other stuff that I coudn't compile might actually work in 6.8
It does make sense that |b| is resolved to |B| because of the
functional dependency.
P.