{-# LANGUAGE Safe #-}-- |---- Module : Data.Proxy-- License : BSD-style (see the LICENSE file in the distribution)---- Maintainer : libraries@haskell.org-- Stability : stable-- Portability : portable---- Definition of a Proxy type (poly-kinded in GHC)---- @since 4.7.0.0moduleData.Proxy (Proxy (..),asProxyTypeOf ,KProxy (..))whereimportGHC.Internal.Data.Proxy