What you've found might be that because you had this explicit contract (types) that coerced you to write your code in a certain way, your code looks simpler whe

What you've found might be that because you had this explicit contract (types) that coerced you to write your code in a certain way, your code looks simpler when you just turn the types off. But would you have written it this way had there been no types? This exercise is more similar to converting a typed language like java to a type inferenced one (a la java 12 or "auto" in C++11). If you didnt have the guard rails of types the way you built your system may differ by relying a lot more on runtime behavior and conventions rather than compile time type checking and explicitly enforced rules.