'Proxy @_ :: forall {k} {w :: k}. Proxy @{k} w
= 'Proxy @{k} @w