Re: strong type derivation in ghc 6.12 compared to 6.12