The more meaning you can encode in the type system, the more the compiler can help you. It won't help you catch a + b... unless you e.g. declared a to be of typ

The more meaning you can encode in the type system, the more the compiler can help you. It won't help you catch a + b... unless you e.g. declared a to be of type meters, and b inches.