[nine_k]

Yes, type declarations are documentation, and tell me about as much, or more, about a function than its name, when reading e.g. Haskell code. They are a necessary usability feature.