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

[0] wren@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.