Commit 582217fc authored by rwbarton's avatar rwbarton

Comments only (instances for Proxy are lazy)

parent 2b59c7ac
......@@ -34,6 +34,10 @@ data Proxy t = Proxy
-- There are no instances for this because it is intended at the kind level only
data KProxy (t :: *) = KProxy
-- It's common to use (undefined :: Proxy t) and (Proxy :: Proxy t)
-- interchangeably, so all of these instances are hand-written to be
-- lazy in Proxy arguments.
instance Eq (Proxy s) where
_ == _ = True
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment