shithub: MicroHs

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

View raw version 
module Data.Proxy(module Data.Proxy) where
import Primitives
import Data.Bool_Type
import Data.Eq
import Text.Show

type Proxy :: forall (k::Kind) . k -> Type
data Proxy a = Proxy

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

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