@newtype3: what kind of