Before this change, GHC would pretty-print forall k. forall a -> () as forall @k a. () which isn't even valid Haskell.