shorter code is not always better, especially when it comes to types. building in lots of guard rails by being verbose with the type system is a good thing. "shorter = better" is the python approach that starts off fun and easy but the codebase scales extremely poorly.