Update docs as per @garyb's suggestions

Author: hdgarrood

README.md

@@ -11,8 +11,8 @@ class (Functor f) <= Alt f where
 
 The `Alt` type class identifies an associative operation on a type.
 It is similar to `Semigroup`, except that it applies to types of
-kind (* -> *), like Array or List, rather than concrete types like
-String or Number.
+kind `* -> *`, like `Array` or `List`, rather than concrete types like
+`String` or `Number`.
 
 `Alt` instances are required to satisfy the following law:
 
@@ -317,6 +317,9 @@ class (Alt f) <= Plus f where
 
 The `Plus` type class extends the `Alt` type class with a value that
 should be the left and right identity for `(<|>)`.
+It is similar to `Monoid`, except that it applies to types of
+kind (* -> *), like `Array` or `List`, rather than concrete types like
+`String` or `Number`.
 
 `Plus` instances should satisfy the following laws:
 

src/Control/Alt.purs

@@ -4,8 +4,8 @@ infixl 3 <|>
 
 -- | The `Alt` type class identifies an associative operation on a type.
 -- | It is similar to `Semigroup`, except that it applies to types of
--- | kind (* -> *), like Array or List, rather than concrete types like
--- | String or Number.
+-- | kind `* -> *`, like `Array` or `List`, rather than concrete types like
+-- | `String` or `Number`.
 -- |
 -- | `Alt` instances are required to satisfy the following law:
 -- |

src/Control/Plus.purs

@@ -4,6 +4,9 @@ import Control.Alt
 
 -- | The `Plus` type class extends the `Alt` type class with a value that
 -- | should be the left and right identity for `(<|>)`.
+-- | It is similar to `Monoid`, except that it applies to types of
+-- | kind `* -> *`, like `Array` or `List`, rather than concrete types like
+-- | `String` or `Number`.
 -- |
 -- | `Plus` instances should satisfy the following laws:
 -- |