You may need a tagged type. It is done on our code base such that currency of one type can’t be operated on currency of another type. The basic is that TAG !== TAG because even if the underlying type is the same (number), they are of different types on the type system. See also type-fest library that provide a ton more helper type like that