> I should mention I just wrote that code off the cuff. It's probably > not even close to right. I recommend you mess with type families a > little to see if they get you where you want to go in your existing > code. I am playing with it thanks :))