"pretty sure unit-tests and a bit more care" - it's better to focus on unit-testing behaviour and care about things that need human's input though. "where type

"pretty sure unit-tests and a bit more care" - it's better to focus on unit-testing behaviour and care about things that need human's input though. "where type checking is required" - it's better to single out cases where it is not required, this is how it's done in C# for example - quite useful for integration with other ecosystems.