[mrkgnao]

This is closer to using the type system to simulate something Prolog-like, where typeclass membership is like a predicate.

[agumonkey]

I knew that ListConcat looked fishy.