What's the alternative? No type signature? Or documentation in another file somewhere else guaranteed to be out of sync, difficult to find and not enforced by

What's the alternative? No type signature? Or documentation in another file somewhere else guaranteed to be out of sync, difficult to find and not enforced by the compiler? No thanks to either of them.