split TypeRepMono
Dynamic -> TypeRepPoly