Exactly. It's painfully easy to break duck typed functional code in confusing ways by subtly changing the semantics of a higher order library function that's used all over the codebase. I love lisps but IMO in general not having static types is on par with not having a debugger. It's probably my only real complaint about standard scheme.