TypeTag[T]
TypeTag[U]
ConcreteTypeTag[Boolean]