Notice that when executing a single expression, Amber automatically includes it's standard library for you. from typing import NewType type ObjectId = string & {
readonly __tag: unique
symbol }
This way, we don't need to use `never`, but we still prevent the creation of a structurally equivalent type by mistake.
It doesn't seem reasonable to me to assume that the main objective of any government is to protect its citizens.