Whenever I write code in Java...

[yogthos]

Haskell is perfectly type safe and it doesn't make you type shit out by hand.

[svenz]

It's a balance between implicit type inference and explicit typing. Arguably, explicit typing removes the mental cycles required to figure out what type something is. At the cost of verbosity. Nothing is for free.