{-@ LIQUID "--reflection" @-}
{-@ LIQUID "--ple" @-}
module Data.Proxy where

import           Prelude                 hiding ( foldr
                                                )

data Proxy a = Proxy