Great.  So I'll go ahead and use this, and remove UndecidableInstances when 7.8 ships.
Jacques

On 2013-10-26 10:10 , Dag Odenhall wrote: