Geoffrey Mainland

Yes, that is the essential problem.

We would have to desugar arrow notation ourselves since TH doesn't support it directly. Are you up for writing a desugarer?

I would be happy to accept a pull request.

Can you provide an example of what you want this to look like?

I believe I have a fix for this issue at mainland/gnome-shell-wsmatrix@62be78e8. Since the fix is for an older version of gnome-shell (42.9), I didn't open a pull request.

CI fails building `prybar-julia`, so the failure does not seem to have anything to do with Racket.