API Annotations: Unicode '->' on HsForallTy not captured
Summary
The code fragment
type family Proxy2' ∷ ∀ k → k → Type where
Proxy2' = Proxy'
Generates AnnRarrow
instead of AnnRarrowU
for the first →
.
Environment
- GHC version used: 8.10.1a1