On Wed, Jun 04, 2014 at 19:13:32 -0300, Ary Borenszweig via
> The problem comes when you need to refactor your code and swap one type
> for another. You have to change all ocurrences of that type in that
> situation for another.
That's what polymorphism and type inference is for. In Haskell at least,
you rarely need to actually put types in to your source. Usually you
decorate top-level API functions to make sure you got it right and for
making figuring out what the type of an argument is though. And those
types shouldn't be changing all that often.