typeOf package:protolude

typeOf :: Typeable a => a -> TypeRep
protolude Protolude
Observe a type representation for the type of a value.
asTypeOf :: a -> a -> a
protolude Protolude Protolude.Base
asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.