diff options
-rw-r--r-- | libraries/base/Data/Proxy.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libraries/base/Data/Proxy.hs b/libraries/base/Data/Proxy.hs index 38a43b0b0f..3ead549daf 100644 --- a/libraries/base/Data/Proxy.hs +++ b/libraries/base/Data/Proxy.hs @@ -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 |