In "serious" Haskell code, almost all top-level definitions (i.e. functions) are given types - for exactly the reason you specify.