ConcreteTypeTag[Nothing]