On Jun 26, 2009, at 00:47 , Ahn, Ki Yung wrote:
We got a code (please refer to the attached lhs file) that uses type
families and type classes very cleverly. We don't know who wrote
I'm under the impression that many clever uses of type families require GHC HEAD, as they're still evolving.