Could we add a function: getTypeRep :: Dynamic -> TypeRep to Data.Dynamic? right now, there is no way to tell if two dynamics are of the same type. John -- John Meacham - ⑆repetae.net⑆john⑈