9 files changed, 19 insertions, 0 deletions
diff --git a/libraries/base/Data/Bits.hs b/libraries/base/Data/Bits.hs
index d32d45ddf8..08ff6f9451 100644
--- a/libraries/base/Data/Bits.hs
+++ b/libraries/base/Data/Bits.hs
@@ -149,6 +149,8 @@ class Eq a => Bits a where
     {-| Return the number of bits in the type of the argument.  The actual
         value of the argument is ignored.  Returns Nothing
         for types that do not have a fixed bitsize, like 'Integer'.
+
+        /Since: 4.7.0.0/
         -}
     bitSizeMaybe      :: a -> Maybe Int
 
diff --git a/libraries/base/Data/Bool.hs b/libraries/base/Data/Bool.hs
index 0dd8198dc2..deeac800f9 100644
--- a/libraries/base/Data/Bool.hs
+++ b/libraries/base/Data/Bool.hs
@@ -31,6 +31,8 @@ import GHC.Base
 -- | Case analysis for the 'Bool' type.
 -- @bool a b p@ evaluates to @a@ when @p@ is @False@, and evaluates to @b@
 -- when @p@ is @True@.
+--
+-- /Since: 4.7.0.0/
 bool :: a -> a -> Bool -> a
 bool f _ False = f
 bool _ t True  = t
diff --git a/libraries/base/Data/Either.hs b/libraries/base/Data/Either.hs
index 5ed041dd31..b494e265fb 100644
--- a/libraries/base/Data/Either.hs
+++ b/libraries/base/Data/Either.hs
@@ -90,11 +90,15 @@ partitionEithers = foldr (either left right) ([],[])
   right a ~(l, r) = (l, a:r)
 
 -- | Return `True` if the given value is a `Left`-value, `False` otherwise.
+--
+-- /Since: 4.7.0.0/
 isLeft :: Either a b -> Bool
 isLeft (Left  _) = True
 isLeft (Right _) = False
 
 -- | Return `True` if the given value is a `Right`-value, `False` otherwise.
+--
+-- /Since: 4.7.0.0/
 isRight :: Either a b -> Bool
 isRight (Left  _) = False
 isRight (Right _) = True
diff --git a/libraries/base/Data/Functor.hs b/libraries/base/Data/Functor.hs
index a578bdd231..fdf7c4b060 100644
--- a/libraries/base/Data/Functor.hs
+++ b/libraries/base/Data/Functor.hs
@@ -33,6 +33,9 @@ infixl 4 <$>
 
 infixl 4 $>
 
+-- | Flipped version of '$>'.
+--
+-- /Since: 4.7.0.0/
 ($>) :: Functor f => f a -> b -> f b
 ($>) = flip (<$)
 
diff --git a/libraries/base/Data/OldTypeable.hs b/libraries/base/Data/OldTypeable.hs
index ab936c4216..b0f4afcc1f 100644
--- a/libraries/base/Data/OldTypeable.hs
+++ b/libraries/base/Data/OldTypeable.hs
@@ -28,6 +28,7 @@
 -- deprecated; users are recommended to use the kind-polymorphic
 -- "Data.Typeable" module instead.
 --
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 module Data.OldTypeable {-# DEPRECATED "Use Data.Typeable instead" #-} -- deprecated in 7.8
diff --git a/libraries/base/Data/OldTypeable/Internal.hs b/libraries/base/Data/OldTypeable/Internal.hs
index 9718237fd1..2b02930466 100644
--- a/libraries/base/Data/OldTypeable/Internal.hs
+++ b/libraries/base/Data/OldTypeable/Internal.hs
@@ -10,6 +10,7 @@
 -- function mkTyCon which is used by derived instances of Typeable to
 -- construct a TyCon.
 --
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 {-# LANGUAGE CPP
diff --git a/libraries/base/Data/Proxy.hs b/libraries/base/Data/Proxy.hs
index 083db91291..4c2c5df8f8 100644
--- a/libraries/base/Data/Proxy.hs
+++ b/libraries/base/Data/Proxy.hs
@@ -12,6 +12,7 @@
 --
 -- Definition of a Proxy type (poly-kinded in GHC)
 --
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 module Data.Proxy
diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs
index 62b0241d13..5293ce67d2 100644
--- a/libraries/base/Data/Type/Equality.hs
+++ b/libraries/base/Data/Type/Equality.hs
@@ -19,6 +19,7 @@
 -- Definition of propositional equality @(:=:)@. Pattern-matching on a variable
 -- of type @(a :=: b)@ produces a proof that @a ~ b@.
 --
+-- /Since: 4.7.0.0/
 -----------------------------------------------------------------------------
 
 
@@ -37,6 +38,8 @@ infix 4 :=:
 -- value, then the type @a@ is the same as the type @b@. To use this equality
 -- in practice, pattern-match on the @a :=: b@ to get out the @Refl@ constructor;
 -- in the body of the pattern-match, the compiler knows that @a ~ b@.
+--
+-- /Since: 4.7.0.0/
 data a :=: b where
   Refl :: a :=: a
 
diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 5dd1417228..8917da9269 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -193,6 +193,8 @@ class Typeable a where
   typeRep :: proxy a -> TypeRep
   -- ^ Takes a value of type @a@ and returns a concrete representation
   -- of that type.
+  --
+  -- /Version: 4.7.0.0/
 
 -- Keeping backwards-compatibility
 typeOf :: forall a. Typeable a => a -> TypeRep