single-case DU with shadowed constructor

single-case DU with shadowed constructor for passing non-primitives around that are already validated.