module Data.Proxy where



data Proxy t = Proxy

-- instance Monad (Proxy *)
-- instance Functor (Proxy *)
-- instance Applicative (Proxy *)
-- instance Foldable (Proxy *)
-- instance Traversable (Proxy *)
-- instance Bounded (Proxy k s)
-- instance Enum (Proxy k s)
-- instance Data.Eq.Eq (Proxy k s)
-- instance Data.Data.Data t => Data.Data.Data (Proxy * t)
-- instance Data.Ord.Ord (Proxy k s)
-- instance Text.Read.Read (Proxy k s)
-- instance Show (Proxy k s)
-- instance Ix (Proxy k s)
-- instance GHC.Generics.Generic (Proxy * t)
-- instance Data.Monoid.Monoid (Proxy k s)
-- instance type Rep (Proxy k t)