lens-4.19.1: Lenses, Folds and Traversals
Control.Lens.Internal.Typeable
eqT :: (Typeable a, Typeable b) => Maybe (a :~: b) #
Extract a witness of equality of two types
Since: base-4.7.0.0
typeRep :: Typeable a => proxy a -> TypeRep #
Takes a value of type a and returns a concrete representation of that type.
a