I think that these days the Haskell best practices recommend adding a type annotation to all toplevel declarations, to help keep error messages manageable.