WeakTypeTag[T]
WeakTypeTag[U]
TypeTag[Boolean]