rename GArrowKappa to GArrowFullyEnriched

[ghc-base.git] / GHC / HetMet / GArrow.hs

diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs
index 8b88b9b..9878a4d 100644 (file)
--- a/GHC/HetMet/GArrow.hs
+++ b/GHC/HetMet/GArrow.hs
@@ -34,7 +34,6 @@ module GHC.HetMet.GArrow (
   GArrowUnit,
   GArrowExponent,
 
-  GArrowKappa(..),
   GArrowSTKC(..),
   GArrowSTKCL(..),
   GArrowSTLC(..),
@@ -135,6 +134,8 @@ class GArrow g (**) u => GArrowConstant g (**) u t r where
 
 
 
+
+
 ------------------------------------------------------------------------
 -- Reify and Reflect, which are "curried" versions of eval/const
 
@@ -150,18 +151,6 @@ class GArrow g (**) u => GArrowReflect g (**) u r q x y where
 
 
 
-------------------------------------------------------------------------
--- The Kappa adjunction
---
--- See Hasegawa, Decomposing Typed Lambda Calculus into a Couple of
--- Categorical Programming Languages) section 3, rule $(\times L)$
-
-class GArrow g (**) u => GArrowKappa g (**) u where
-  ga_kappa :: (g u x -> g u y) -> g x y
-
-
-
-
 
 ------------------------------------------------------------------------
 -- Apply and Curry