Work on containers

1 files changed, 4 insertions, 1 deletions

diff --git a/edit-lens/src/Control/Lens/Edit.lhs b/edit-lens/src/Control/Lens/Edit.lhs
index 5a60536..0a679cb 100644
--- a/edit-lens/src/Control/Lens/Edit.lhs
+++ b/edit-lens/src/Control/Lens/Edit.lhs
@@ -1,13 +1,16 @@
+\begin{comment}
 \begin{code}
 module Control.Lens.Edit
   ( Module(..)
   , StateMonoidHom
   , HasEditLens(..)
   , EditLens(..)
+  , module Control.Edit
   ) where
 
 import Control.Edit
 \end{code}
+\end{comment}
 
 \begin{defn}[Zustandsbehaftete Monoidhomomorphismen]
 Mit einer Menge von Komplementen $C$ und Monoiden $M$ und $N$ nennen wir eine partielle Funktion $\psi \colon C \times M \to C \times N$ einen zustandsbehafteten Monoidhomomorphismus wenn sie den folgenden Ansprüchen genügt:
@@ -45,7 +48,7 @@ In Haskell erwähnen wir die Konsistenzrelation nicht in der Erwartung, dass $\R
 
 \begin{code}
 data EditLens c m n where
-  EditLens :: (Module m, Module n) => c -> StateMonoidHom c m n -> StateMonoidHom c n m -> EditLens c m n
+  EditLens :: c -> StateMonoidHom c m n -> StateMonoidHom c n m -> EditLens c m n
 
 class (Module m, Module n) => HasEditLens l m n | l -> m, l -> n where
   type Complement l :: *