As Andy suspected, the previous fix does break implicit parameters. I've reverted the code.  I also verified that the precondition shouldn't be necessary.  There must be a lurking bug somewhere in the unifier - scary thought.
As Andy suspected, the previous fix does break implicit parameters.
I've reverted the code.  I also verified that the precondition
shouldn't be necessary.  There must be a lurking bug somewhere in
the unifier - scary thought.

FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs