Improve printing of type signatures

[billpmurphy]

Hask prints type signatures with a lot of superfluous parens (e.g. a -> (b -> c) when a -> b -> c will do). It also puts extra parens around higher-kinded types even when this is not necessary.