AbsTypeTag[T]
AbsTypeTag[U]
TypeTag[Boolean]