ConcreteTypeTag[_1.b.c.type]