type-settheory-0.1.3.1: Sets and functions-as-relations in the type system
Data.Typeable.Extras
dynEq :: (Typeable a, Typeable b, Eq b) => a -> b -> BoolSource
dynCompare :: (Typeable b, Typeable a, Ord b) => a -> b -> OrderingSource