It was discussed off-line and we found that we're going to use this style:

foo ::
  Foo ->
  Bar ->
  Baz

Because it plays nicer with advanced features of GHC Haskell and foralls. We'll also need to find a way to re-format -- ^ Haddocks into -- | style and put them before arguments, not after.