module Proxy
  ( Proxy(..)
  , asProxyTypeOf
  , KProxy(..)
  ) where

import Data.Proxy