Name for unary unboxed one-tuple