Though it should be noted that this works the same for namable and unnamable types.
Though making your token unnamable (thus requiring the user to use it via making storage impossible) is interesting as a concept. This will be made unsound by existential types though (as then the type could be made namable via having a function that returns it).