There are other benefits over a test. The compiler tests the type is correct wherever you use it. It is also documentation. Still have tests! But types are g

There are other benefits over a test. The compiler tests the type is correct wherever you use it. It is also documentation. Still have tests! But types are great. But sadly, in practice I don't often use a type per ID type because it is not idiomatic to code bases I work on. It's a project of its own to move a code base to be like that if it wasn't in the outset. Also most programming languages don't make it ergonomic.