ghc

When completing a type signature HLS is very conservative and always adds parentheses around the actual type.

For example something like myHead :: [a] -> _ will get a type of myHead :: [a] -> (a). Note the parentheses around the a.

While I personally don't have a big problem with this. Many of my colleagues insist on them being removed. Which usually makes these signatures easier to read

Is your feature request related to a problem? Please describe.
This is the tracking issue for the Asterius Hackage Overlay.

Describe the solution you'd like
We should implement and host a Hackage overlay, similar to head.hackage and mobile haskell overlay. The reason is:

• We already patch so

A good alternative to having all the explanations in comments in the exercise files would be to make a Markdown file for each exercise (or possibly each category of exercises, i.e. one for each sub-directory). These files would contain the exact text from the explanation blocks except formatted to Markdown. There should also be a link in the exercise file to the Markdown and vice-versa. There shou