typeOf package:rank1dynamic

The type representation of any Typeable term