diff --git a/equivalence.cabal b/equivalence.cabal
--- a/equivalence.cabal
+++ b/equivalence.cabal
@@ -1,5 +1,5 @@
 Name:            equivalence
-Version:         0.1
+Version:         0.1.1
 License:         BSD3
 License-File:    LICENSE
 Author:          Patrick Bahr <paba@diku.dk>
diff --git a/src/Data/Equivalence/Monad.hs b/src/Data/Equivalence/Monad.hs
--- a/src/Data/Equivalence/Monad.hs
+++ b/src/Data/Equivalence/Monad.hs
@@ -91,11 +91,9 @@
 combine two equivalence class descriptors. -}
 
 runEquivT :: (Monad m)
-          -- | used to construct an equivalence class descriptor for a singleton class
-          => (v -> c)
-          -- | used to combine the equivalence class descriptor of two classes
-          --   which are meant to be combined.
-          -> (c -> c -> c)
+          => (v -> c) -- ^ used to construct an equivalence class descriptor for a singleton class
+          -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes
+                           --   which are meant to be combined.
           -> (forall s. EquivT s c v m a)
           -> m a
 runEquivT mk com m = runST $ do
@@ -106,12 +104,9 @@
 equivalence relation. The first tow arguments specify how to construct
 an equivalence class descriptor for a singleton class and how to
 combine two equivalence class descriptors. -}
-runEquivM ::
-          -- | used to construct an equivalence class descriptor for a singleton class
-             (v -> c)
-          -- | used to combine the equivalence class descriptor of two classes
-          --   which are meant to be combined.
-          -> (c -> c -> c)
+runEquivM :: (v -> c) -- ^ used to construct an equivalence class descriptor for a singleton class
+          -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes
+                           --   which are meant to be combined.
           -> (forall s. EquivM s c v a)
           -> a
 runEquivM sing comb m = runIdentity $ runEquivT sing comb m
diff --git a/src/Data/Equivalence/STT.hs b/src/Data/Equivalence/STT.hs
--- a/src/Data/Equivalence/STT.hs
+++ b/src/Data/Equivalence/STT.hs
@@ -106,11 +106,9 @@
 descriptors. -}
 
 leastEquiv :: Monad m
-          -- | used to construct an equivalence class descriptor for a singleton class
-           => (a -> c)
-          -- | used to combine the equivalence class descriptor of two classes
-          --   which are meant to be combined.
-           -> (c -> c -> c)
+           => (a -> c) -- ^ used to construct an equivalence class descriptor for a singleton class
+           -> (c -> c -> c) -- ^ used to combine the equivalence class descriptor of two classes
+                            --   which are meant to be combined.
            -> STT s m (Equiv s c a)
 leastEquiv mk com = do 
   es <- newSTRef Map.empty