I just know I've made some mistakes in the past that would have been caught by a type checker, and I'll probably make similar mistakes in the future. I like try

I just know I've made some mistakes in the past that would have been caught by a type checker, and I'll probably make similar mistakes in the future. I like trying stuff in the REPL, but when an idea has solidified, I'd like to have it fully type check (along with using unit tests and CI). I guess it just doesn't seem like a burden to me; most of it is just preventing passing a variable as something it is not or double-checking that you've handled all the cases for Maybes and Eithers. It's all stuff I'd like to be doing anyway.