Why?  Can't your FiniteSet have symbols?