Re: [Haskell-cafe] Finally tagless and abstract relational Algebra