comment out references to module not implemented yet

diff --git a/GHC/HetMet/GArrowFullyEnriched.hs b/GHC/HetMet/GArrowFullyEnriched.hs
index 33f3684..b24c6b6 100644 (file)
--- a/GHC/HetMet/GArrowFullyEnriched.hs
+++ b/GHC/HetMet/GArrowFullyEnriched.hs
@@ -58,7 +58,7 @@ module GHC.HetMet.GArrowFullyEnriched (
 ) where
 import Control.Category
 import GHC.HetMet.GArrow
-import GHC.HetMet.GArrowEnclosure
+--import GHC.HetMet.GArrowEnclosure
 import Prelude hiding ((.), id)
 
 data GArrow g (**) u => Polynomial g (**) u t x y
@@ -123,8 +123,8 @@ instance (GArrowSwap g (**) u, GArrowCopy g (**) u, GArrowDrop g (**) u)  => GAr
 --  ga_loopl = error "FIXME: GArrowFullyEnriched loopl not implemented"
 --  ga_loopr = error "FIXME: GArrowFullyEnriched loopl not implemented"
 
-instance GArrowEnclosure q g (**) u => GArrowEnclosure (Polynomial q (**) u t) g (**) u where
-  enclose f = N (enclose f)
+--instance GArrowEnclosure q g (**) u => GArrowEnclosure (Polynomial q (**) u t) g (**) u where
+--  enclose f = N (enclose f)
 
 --
 -- | Given an **instance-polymorphic** Haskell function @(g () a)->(g b c)@ we can produce