planet-mitchell-0.0.0: src/Proxy.hs

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

import Data.Proxy