shithub: MicroHs

ref: e467aff8da3a13f7faac971b3d0752ecd8d6e348
dir: /lib/Data/Proxy.hs/

View raw version 
module Data.Proxy(module Data.Proxy) where
import Prelude

-- NOTE: not polykinded yet
data Proxy a = Proxy

instance forall a . Show (Proxy a) where
  show _ = "Proxy"

instance forall a . Eq (Proxy a) where
  _ == _  =  True