Also note that if you try thinking with types, you may start seeing them as tools rather than overhead. A good blog post about this is: https://lexi-lambda.gi

Also note that if you try thinking with types, you may start seeing them as tools rather than overhead. A good blog post about this is: https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/ https://lexi-lambda.github.io/blog/2020/08/13/types-as-axiom...