Explicit user-side type manipulation (Xorlist * -> Xorlist)