module Data.Proxy.Compat
    ( Proxy(..), asProxyTypeOf
    ) where

import Data.Proxy