data Proxy _ = Proxy