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