This builds against ghc-HEAD (currently 6.9.2008-04-01), and requires the existence of both
Control.Category and class-associated type-families to function.