Replace hand-written Bounded instances with derived ones
[ghc.git] / libraries / base / Data / Proxy.hs
index f0760e8..a111558 100644 (file)
@@ -29,7 +29,7 @@ import GHC.Enum
 import GHC.Arr
 
 -- | A concrete, poly-kinded proxy type
-data Proxy t = Proxy
+data Proxy t = Proxy deriving Bounded
 
 -- | A concrete, promotable proxy type, for use at the kind level
 -- There are no instances for this because it is intended at the kind level only
@@ -70,10 +70,6 @@ instance Ix (Proxy s) where
     unsafeIndex _ _   = 0
     unsafeRangeSize _ = 1
 
-instance Bounded (Proxy s) where
-    minBound = Proxy
-    maxBound = Proxy
-
 instance Monoid (Proxy s) where
     mempty = Proxy
     mappend _ _ = Proxy