@dumpsterqueer@ondergrond.org i mean imo it kinda shows the needless restrictiveness of typing, because in this case it doesn't matter if it's a string or an int, it's just a unique identifier for the key