Your class only requires one language extension (MultiParamTypeClass) which is not too bad, but which by itself only really enables this one use case (along with related ones for super and subtyping, etc).

Your instances, however, require crazy things (like at least OverlappingInstances) which can result in much-harder-to-reason-about instance resolution in general.

This is a really good question. For a lot of content maybe it makes sense to do both? I have always favoured the Internet Archive because it feels more "permanent", but both are great platforms.

RT @zenmasterchi A "digital native" is no more an expert in digital than a TV ager is a TV expert. Most are just subjugated consumers.

Sure, I could use some other tool, but I'm interested in if I can launch GIMP with this UI up.

I've tried using Reader a few times, but I usually end up going back to passing explicit params (even if there are a lot of them). Always ends up feeling more flexible, to me