Re: Re[2]: [Haskell-cafe] Estonia and GADT