diff --git a/Data/Profunctor/Closed.idr b/Data/Profunctor/Closed.idr
index 5f6780d..746f32a 100644
--- a/Data/Profunctor/Closed.idr
+++ b/Data/Profunctor/Closed.idr
@@ -26,7 +26,7 @@ interface Profunctor p => Closed p where
 
 
 ------------------------------------------------------------------------------
--- Implementations for existing types
+-- Implementations
 ------------------------------------------------------------------------------
 
 
diff --git a/Data/Profunctor/Costrong.idr b/Data/Profunctor/Costrong.idr
index 1a19bfd..3b8eaa0 100644
--- a/Data/Profunctor/Costrong.idr
+++ b/Data/Profunctor/Costrong.idr
@@ -80,7 +80,7 @@ unright = costrongr {ten=Either}
 
 
 ------------------------------------------------------------------------------
--- Implementations for existing types
+-- Implementations
 ------------------------------------------------------------------------------
 
 
diff --git a/Data/Profunctor/Mapping.idr b/Data/Profunctor/Mapping.idr
index f08b904..91bd0ff 100644
--- a/Data/Profunctor/Mapping.idr
+++ b/Data/Profunctor/Mapping.idr
@@ -34,7 +34,7 @@ interface (Traversing p, Closed p) => Mapping p where
 
 
 ------------------------------------------------------------------------------
--- Implementations for existing types
+-- Implementations
 ------------------------------------------------------------------------------
 
 
@@ -53,7 +53,7 @@ export
 
 
 ------------------------------------------------------------------------------
--- Implementations for existing types
+-- CofreeMapping
 ------------------------------------------------------------------------------
 
 
diff --git a/Data/Profunctor/Strong.idr b/Data/Profunctor/Strong.idr
index c74b3c3..db6f4c9 100644
--- a/Data/Profunctor/Strong.idr
+++ b/Data/Profunctor/Strong.idr
@@ -90,7 +90,7 @@ strong f = dimap dup (uncurry $ flip f) . first
 
 
 ------------------------------------------------------------------------------
--- Implementations for existing types
+-- Implementations
 ------------------------------------------------------------------------------
 
 
diff --git a/Data/Profunctor/Traversing.idr b/Data/Profunctor/Traversing.idr
index e1aa5ab..d007624 100644
--- a/Data/Profunctor/Traversing.idr
+++ b/Data/Profunctor/Traversing.idr
@@ -85,6 +85,11 @@ interface (Strong p, Choice p) => Traversing p where
   wander f = dimap (\s => MkBaz $ \afb => f afb s) sold . traverse'
 
 
+------------------------------------------------------------------------------
+-- Implementations
+------------------------------------------------------------------------------
+
+
 export
 Traversing Morphism where
   traverse' (Mor f) = Mor (map f)