Re: [Haskell-cafe] two type-level programming questions