I'm not sure this is the right place to make this request, but could an instance of 'Ord TypeRep' please be added? I'd like to store dynamically typed elements in a FiniteMap. Peace, Dylan