X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=blobdiff_plain;f=GHC%2FHetMet%2FArrow.hs;h=b79943ab8d6091cd11884ff3a4904322cf695845;hp=08b75b393f373ac9c1153229cfd09aa6eca5aaa7;hb=6a14b6d26bfcce9a1838d3eb302468f08ec4348b;hpb=b77972bb8793136b82db08061fc2b1703499880a

diff --git a/GHC/HetMet/Arrow.hs b/GHC/HetMet/Arrow.hs
index 08b75b3..b79943a 100644
--- a/GHC/HetMet/Arrow.hs
+++ b/GHC/HetMet/Arrow.hs
@@ -55,6 +55,10 @@ instance ArrowApply a => GArrowApply a (,) () a where
   ga_applyl    = ga_swap >>> app
   ga_applyr    = app
 
+instance Arrow a => GArrowProd a (,) () (,) () where
+  ga_prod_drop  = arr (\x -> ())
+  ga_prod_copy  = arr (\x -> (x,x))
+
 -- The uninhabited type
 data Void