Aux

Cast LowestPri ToGeneric Field LowPriField

all

shapeless

apply

Iso Cast Singleton Find Flatten LowestPriFind Select ToGeneric Field Find

aux

ToGeneric