With "retrospective type-class extension" in place whatever they look like, wouldn't everyone would have to import the same retrospectively extended instances ("orphan retrospective extensions" anyone?). Thus there seems no benefit over recoding the hierarchy directly and importing it, vis:
> import NewHierachyPrelude Best wishes Stephen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe