Hi. Thanks for the interesting article. While I agree with the conclusion (though there are some exceptions), it worth to mention that having explicit types will not resolve your example-problem, unless you specify “Unit” :)