Re: [Haskell-cafe] Re: GADTs and Scrap your Boilerplate