ConcreteTypeTag[_1.type#b.c.type]