Re: [Haskell-cafe] Data Types a la Carte - automatic injections (help!)