Using purs 0.11.6 [development build; commit: 71fc308] and trying to create the documentation (purs docs) when having the new proxy syntax doesn't seem to complete. Even though it uses up to 500% CPU.

Minimal Example:

foo :: forall a. @a -> Int
foo _ = 42

Removing the proxy and it finishes just fine.