20 May
2010
20 May
'10
9:10 a.m.
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