Derek Elkins wrote: > I believe there is a trick where essentially you end up with, instance IsChar a => XType [a] where ... That is simple enough, and works fine. Thanks! Tim