EVERYTHING SHOULD BE TYPED: SCALAR TYPES ARE NOT ENOUGH

Summary from the TLDR Dev newsletter

Relying only on scalar types creates subtle semantic bugs that bypass compilers because they cannot distinguish between different domain concepts, a risk not fully mitigated even by grouping parameters into structs. The solution is to wrap every meaningful domain concept in a distinct "newtype," ensuring the compiler enforces semantic correctness and leading to safer, self-documenting code with compile-time validation.