Data.Typeable.Compat
module Data.Typeable
heqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~~: b) Source #
Extract a witness of heterogeneous equality of two types
Since: 4.18.0.0