diff --git a/acme-functors.cabal b/acme-functors.cabal
--- a/acme-functors.cabal
+++ b/acme-functors.cabal
@@ -1,9 +1,5 @@
--- This file has been generated from package.yaml by hpack version 0.15.0.
---
--- see: https://github.com/sol/hpack
-
 name:           acme-functors
-version:        0.1.0.0
+version:        0.1.0.1
 synopsis:       The best applicative functors.
 description:    Types are great. Lifting them into some sort of applicative functor makes them even better. This package is an homage to our favorite applicatives, and to the semigroups with which they are instrinsically connected.
 category:       ACME
@@ -25,10 +21,8 @@
   hs-source-dirs:
       src
   build-depends:
-      base >= 1 && < 5328762
+      base >= 4 && < 5
   exposed-modules:
       Acme.Functors
       Acme.Functors.Classes
-  other-modules:
-      Paths_acme_functors
   default-language: Haskell2010
diff --git a/src/Acme/Functors.hs b/src/Acme/Functors.hs
--- a/src/Acme/Functors.hs
+++ b/src/Acme/Functors.hs
@@ -67,6 +67,7 @@
     LiftedButWhy f <*> LiftedButWhy a = LiftedButWhy (f a)
 
 -- | > LiftedButWhy a >>= f = f a
+
 instance Monad LiftedButWhy where
 
     LiftedButWhy a >>= f = f a
@@ -182,7 +183,7 @@
 --------------------------------------------------------------------------------
 
 -- | __@AnyNumberOf@__ starts to get exciting. Any number of values you want.
--- Zero... one ... two ... three ... four ... five ... The possibilities are
+-- Zero ... one ... two ... three ... four ... five ... The possibilities are
 -- /truly/ endless.
 
 data AnyNumberOf a =
@@ -214,7 +215,7 @@
 --
 -- >     ( (+ 1) ~~ (* 2) ~~ (+ 5) ~~       ActuallyNone )
 -- > <*> (    1  ~~    6  ~~    4  ~~ 37 ~~ ActuallyNone )
--- >  =  (    7  ~~   12  ~~    9  ~~       ActuallyNone )
+-- >  =  (    2  ~~   12  ~~    9  ~~       ActuallyNone )
 --
 -- This example demonstrates how when there are more arguments than functions,
 -- any excess arguments (in this case, the @37@) are ignored.
@@ -251,9 +252,9 @@
 --  One-or-more
 --------------------------------------------------------------------------------
 
--- | __@OneOrMore@__ is more restrictive than AnyNumberOf, yet somehow actually
--- /more/ interesting, because it excludes that dull situation where there
--- aren't any values at all.
+-- | __@OneOrMore@__ is more restrictive than @AnyNumberOf@, yet somehow
+-- actually /more/ interesting, because it excludes that dull situation where
+-- there aren't any values at all.
 
 data OneOrMore a = OneOrMore
     { theFirstOfMany :: a -- ^ Definitely at least this one.
@@ -345,7 +346,7 @@
 -- expression evaluates to the combination of the @otherThing@s.
 
 data (OrInstead otherThing) a =
-      NotInstead a       -- ^ Some normal value.
+      NotInstead a       -- ^ A normal value.
     | Instead otherThing -- ^ Some totally unrelated other thing.
     deriving (Eq, Functor, Show)
 
@@ -403,10 +404,10 @@
 -- When you combine stuff with @(\<*\>)@ or @(\<\>)@, all of the values need to
 -- be present. If any of them are the @otherThing@ instead, then the whole
 -- expression evaluates to the /first/ @otherThing@ encountered, ignoring any
--- additional @otherThings@ that may subsequently pop up
+-- additional @otherThing@s that may subsequently pop up.
 
 data (OrInsteadFirst otherThing) a =
-      NotInsteadFirst a       -- ^ Some normal value.
+      NotInsteadFirst a       -- ^ A normal value.
     | InsteadFirst otherThing -- ^ Some totally unrelated other thing.
     deriving (Eq, Functor, Show)
 
@@ -467,7 +468,7 @@
 -- annoying.
 
 data DeterminedBy parameter a = Determination ((->) parameter a)
-    deriving (Functor)
+    deriving Functor
 
 -- |
 -- > pure a = Determination (\_ -> a)
@@ -510,21 +511,21 @@
 
 LiftedButWhy is Identity.
 
-OrNot is Maybe, but with a different semigroup and monoid.
+OrNot is Maybe, but with the monoid that is appropriate for its applicative.
 
-Two doesn't have an analogue in the standard library as far as I know.
+Two doesn't have an analogue in any standard library as far as I know.
 
-AnyNumberOf is ZipList.
+AnyNumberOf is ZipList, with the appropriate monoid added.
 
-OneOrMore is NonEmpty.
+OneOrMore is like NonEmpty, but with instances that match ZipList.
 
-Also is (,), the 2-tuple.
+Also is (,) — also known as the 2-tuple.
 
 OrInstead is AccValidation from the 'validation' package.
 
 OrInsteadFirst is Either.
 
-DeterminedBy is (->) also known as a function, whose functor is also known as
+DeterminedBy is (->), also known as a function, whose monad is also known as
 Reader.
 
 -}