The new proxy syntax makes specifying types inline a lot nicer, but there are still situations where it would be preferable to lift the proxy out of the context to a top-level definition, e.g.:

p :: @"Some long string"
p = @

However, the bare @ is a syntax error, currently - and having to copy the type would be a little inconvenient.

My current workaround is a little clunky:

p :: SProxy "Some long string"
p = SProxy

fromSProxy :: forall a. SProxy a -> @a
fromSProxy _ = @a

and then using fromSProxy p when I need p in a context that expects a @

/cc @rightfold