[Haskell-cafe] listify

Don't be too impressed, I think I was way off base. Looks like just a homomorphism: http://en.wikipedia.org/wiki/Homomorphism Chad

...

I wonder, is listify a contravariant functor?

I wonder - will I ever reach the stage where I too make off-hand remarks like this? :-}

Now I know how all the "normal" people feel when I tell them that a relation is simply a subset of the extended Cartesian product of the respective domains of its attributes...