Pretty-printing type signatures

[nadia-polikarpova]

When hovering over components in the solution, their type signatures have too many parentheses. For example: ($) :: (((a -> b)) -> (a -> b)) should be ($) :: (a -> b) -> a -> b.

[nadia-polikarpova]

We might be able to use hlint for this?