You're correct; at the moment function signatures have to be written in full. (This may be relaxed slightly in future, that said, it's very very unlikely to be

You're correct; at the moment function signatures have to be written in full. (This may be relaxed slightly in future, that said, it's very very unlikely to be loosened to full Haskell-style whole-program inference.)