[Haskell-cafe] Fwd: Re: Strange "ambiguity" problems thanks to GADTs