{-# LANGUAGE EmptyDataDecls #-}
module RESTng.System.Proxy (
                          Proxy, proxyOf
                         ) where

data Proxy a
proxyOf :: a -> Proxy a
proxyOf = undefined

annotateTypeWithProxy :: Proxy a -> m a -> m a
annotateTypeWithProxy _ ma = ma