Type signature example

Nobody has claimed this yet.

Feel free to close this as a duplicate. Just wanted to drop by with this example to see if there's something I can do to help.

Long type signature:
```
(forall b . ( Eff ( SCHED.Grandpate : StateObfuscationate : Exc UnrecoverableException : r) b) -> Eff (Exc UnrecoverableException : r) b)
```

Brittany formats to:
```
( forall
b
. ( Eff
( SCHED.Grandpate
:
StateObfuscationate
:
Exc
UnrecoverableException
:
r
)
b
)
-> Eff (Exc UnrecoverableException : r) b
)
```

So that's a bit rough. Let me know if I can help. I would say there are three known issues blocking my colleagues and me from using Brittany.

One is import formatting, for which there's a PR open already. Great!

Two is long parameter lists with view patterns. I'll make a separate issue for that.

Three is this sort of stuff, which I would say is the most serious blocker.

Thanks!

Start by reproducing the supplied long type signature in Brittany and inspect the formatter path that handles type signatures. Compare the current output with the example, then establish acceptable formatting for the nested constraints and confirm the result with the relevant formatter tests; no file or test path is named in the issue.

Written by the indexing model from the issue text.