From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 29 Aug 2011 23:57:58 +0000 (-0700)
Subject: GArrowFullyEnriched: clean up imports and context
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=3b0388b14ee1be2edad548649388bca4ab8c31f0;p=ghc-base.git

GArrowFullyEnriched: clean up imports and context
---

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