3 ms·

You can do this in Python using NewType from typing import NewType UserId = NewType('UserId', int) some_id = UserId(524313)