Make RequiredTypeArguments consistent with types

[brandonchinn178]

Input:

typeSig ::
  ( Int
  -> Int -> Int
  )
  
requiredType =
  f ( Int
    -> Int -> Int
    )

Current output:

typeSig ::
  ( Int ->
    Int ->
    Int
  )

requiredType =
  f
    ( Int ->
      Int -> Int
    )

After this PR:

typeSig ::
  ( Int ->
    Int ->
    Int
  )

requiredType =
  f
    ( Int ->
      Int ->
      Int
    )

[amesgen]

Thanks for catching that!

Can you add a changelog entry?

[brandonchinn178]

Not sure why formatting took forever, but should be good to go