If a definition deserves its own type signature it probably deserves a preceding newline