liquidhaskell-0.8.10.7: typeclass-tests/Data/Proxy.hs

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

import           Prelude                 hiding ( foldr
                                                )

data Proxy a = Proxy