Type signatures are optional in Haskell, but in OCaml you can even specify partial signatures (e.g. just one parameter).
Maybe return types are more valuable to annotate? I can often guess params based on the name, but I have to read the function body for the result.