[Haskell-cafe] Finally tagless and abstract relational Algebra