I agree. In Haskell type level application is consistent with function application :/

IMO the biggest problem with this style is that I'm not sure how well ocamldoc handles it and the fact that it's relatively uncommon so people are taken aback by it. In haddock (haskell's ocamldoc) it's common to provide multiple signature for the same function to aid in understanding. They need it much more though because of the messes typeclasses sometimes create.