The madness of implicit parameters: cured?

[Derek Elkins]

I kinda think someone mentioned this, perhaps even you.  Or maybe I'm
thinking of something else.  As I'm feeling too lazy to check the
archives, at the risk of saying something stupid or repeating something
said, you may want to look at named instances (google should turn
something up with a little effort.)  It seems to cover some of the
same issues/ideas you are having now, though in a different context.