Those are all trade-offs. Ditching fully-specified function signatures makes type inference more difficult and results in poorer type inference errors