Comments only (instances for Proxy are lazy)
authorReid Barton <rwbarton@gmail.com>
Fri, 3 Oct 2014 13:02:45 +0000 (09:02 -0400)
committerReid Barton <rwbarton@gmail.com>
Fri, 3 Oct 2014 13:02:45 +0000 (09:02 -0400)
libraries/base/Data/Proxy.hs

index 38a43b0..3ead549 100644 (file)
@@ -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