Specifying types is not a bad thing, I also do it myself of course. However, the more general the type signatures are, the more that can be reasoned about what

Specifying types is not a bad thing, I also do it myself of course. However, the more general the type signatures are, the more that can be reasoned about what a function can do. i.e. there is a lot more that a function of type Int -> Int -> Int can do than say (Num a) => a -> a -> a. So I try to always use the most generic version of the type I can.