X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=blobdiff_plain;f=GHC%2FHetMet%2FGArrowFullyEnriched.hs;h=bf7df6b5315a0fd7b7ba78f20cd0cef4660f6cc8;hp=113dfcd2a33ba0b5b00640615f771435cf10360f;hb=3b0388b14ee1be2edad548649388bca4ab8c31f0;hpb=3feb1f34df467291e1e0a118db86e680b37fef96

diff --git a/GHC/HetMet/GArrowFullyEnriched.hs b/GHC/HetMet/GArrowFullyEnriched.hs
index 113dfcd..bf7df6b 100644
--- a/GHC/HetMet/GArrowFullyEnriched.hs
+++ b/GHC/HetMet/GArrowFullyEnriched.hs
@@ -56,12 +56,11 @@ module GHC.HetMet.GArrowFullyEnriched (
 -- $extradoc1
 
 ) where
-import Control.Category ( (>>>) )
 import Control.Category
 import GHC.HetMet.GArrow
 import Prelude hiding ((.), id)
 
-data (GArrowSwap g (**) u, GArrowCopy g (**) u, GArrowDrop g (**) u)  => Polynomial g (**) u t x y
+data GArrow g (**) u => Polynomial g (**) u t x y
     = L (g (t**x) y)                            -- uses t, wants it as the left arg
     | R (g (x**t) y)                            -- uses t, wants it as the right arg
     | B (g (t**x) y) (g (x**t) y) -- uses t, doesn't care which arg