diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,4 +1,10 @@
 # Revision history for boring
+
+## 0.1
+
+- Reverse dependencies with `boring`.
+- GHC-8.4.1 support
+
 ## 0
 
 - First version. Released on an unsuspecting world.
diff --git a/src/Data/Vec/Lazy.hs b/src/Data/Vec/Lazy.hs
--- a/src/Data/Vec/Lazy.hs
+++ b/src/Data/Vec/Lazy.hs
@@ -84,7 +84,6 @@
 import Control.Applicative (Applicative (..))
 import Control.DeepSeq     (NFData (..))
 import Control.Lens        ((<&>))
-import Data.Boring         (Boring (..))
 import Data.Distributive   (Distributive (..))
 import Data.Fin            (Fin)
 import Data.Functor.Apply  (Apply (..))
@@ -191,9 +190,6 @@
 instance (Monoid a, N.SNatI n) => Monoid (Vec n a) where
     mempty = pure mempty
     mappend = zipWith mappend
-
-instance n ~ 'N.Z => Boring (Vec n a) where
-    boring = VNil
 
 instance Apply (Vec n) where
     (<.>) = zipWith ($)
diff --git a/src/Data/Vec/Pull.hs b/src/Data/Vec/Pull.hs
--- a/src/Data/Vec/Pull.hs
+++ b/src/Data/Vec/Pull.hs
@@ -63,7 +63,6 @@
 
 import Control.Applicative (Applicative (..))
 import Control.Lens        ((<&>))
-import Data.Boring         (Boring (..))
 import Data.Distributive   (Distributive (..))
 import Data.Fin            (Fin)
 import Data.Functor.Apply  (Apply (..))
@@ -126,9 +125,6 @@
 instance Monoid a => Monoid (Vec n a) where
     mempty = Vec mempty
     Vec a `mappend` Vec b = Vec (mappend a b)
-
-instance n ~ 'N.Z => Boring (Vec n a) where
-    boring = empty
 
 instance Apply (Vec n) where
     (<.>)  = zipWith ($)
diff --git a/vec.cabal b/vec.cabal
--- a/vec.cabal
+++ b/vec.cabal
@@ -1,13 +1,13 @@
 name:                vec
-version:             0
-synopsis:            Nat, Fin and Vec types.
+version:             0.1
+synopsis:            Vec: length-indexed (sized) list
 description:
-  This package provides length indexed lists, i.e. 'Vec'.
+  This package provides length-indexed (sized) lists, also known as vectors.
   .
   @
   data Vec n a where
-      VNil  :: Vec 'Nat.Z a
-      (:::) :: a -> Vec n a -> Vec ('Nat.S n) a
+  \    VNil  :: Vec 'Nat.Z a
+  \    (:::) :: a -> Vec n a -> Vec ('Nat.S n) a
   @
   .
   The functions are implemented in three flavours:
@@ -23,16 +23,29 @@
   As best approach depends on the application, @vec@ doesn't do any magic
   transformation. Benchmark your code.
   .
-  Differences to other packages:
+  This package uses [fin](https://hackage.haskell.org/package/fin), i.e. not @GHC.TypeLits@, for indexes.
   .
-  * [linear](http://hackage.haskell.org/package/linear) has 'V' type,
+  See [Hasochism: the pleasure and pain of dependently typed haskell programming](https://doi.org/10.1145/2503778.2503786)
+  by Sam Lindley and Conor McBride for answers to /how/ and /why/.
+  Read [APLicative Programming with Naperian Functors](https://doi.org/10.1007/978-3-662-54434-1_21)
+  by Jeremy Gibbons for (not so) different ones.
+  .
+  === Similar packages
+  .
+  * [linear](https://hackage.haskell.org/package/linear) has 'V' type,
     which uses 'Vector' from @vector@ package as backing store.
-    `Vec` is a real GADT, but tries to provide as many useful instances (upto @lens@).
+    @Vec@ is a real GADT, but tries to provide as many useful instances (upto @lens@).
   .
-  * [sized-vector](http://hackage.haskell.org/package/sized-vector) depends
-    on @singletons@ package. `vec` isn't light on dependencies either,
+  * [vector-sized](https://hackage.haskell.org/package/vector-sized)
+    Great package using @GHC.TypeLits@. Current version (0.6.1.0) uses
+    @finite-typelits@ and @Int@ indexes.
+  .
+  * [sized-vector](https://hackage.haskell.org/package/sized-vector) depends
+    on @singletons@ package. @vec@ isn't light on dependencies either,
     but try to provide wide GHC support.
   .
+  * [fixed-vector](https://hackage.haskell.org/package/fixed-vector)
+  .
   * [sized](https://hackage.haskell.org/package/sized) also depends
     on a @singletons@ package. The @Sized f n a@ type is generalisation of
     @linear@'s @V@ for any @ListLike@.
@@ -56,7 +69,8 @@
   GHC==7.8.4,
   GHC==7.10.3,
   GHC==8.0.2,
-  GHC==8.2.1
+  GHC==8.2.2,
+  GHC==8.4.1
 
 source-repository head
   type:      git
@@ -68,18 +82,20 @@
     Data.Vec.Lazy.Inline
     Data.Vec.Pull
   build-depends:
-    adjunctions   >=4.3     && <4.4,
-    base          >=4.7     && <4.11,
+    adjunctions   >=4.4     && <4.5,
+    base          >=4.7     && <4.12,
     base-compat   >=0.9.3   && <0.10,
-    boring        >=0       && <0.1,
     deepseq       >=1.3.0.2 && <1.5,
     distributive  >=0.5.3   && <0.6,
-    fin           >=0       && <0.1,
-    hashable      >=1.2.6.1 && <1.3,
-    lens          >=4.15.4  && <4.16,
-    semigroupoids >=5.2.1   && <5.3,
-    semigroups    >=0.18.3  && <0.18.4
+    fin           >=0.0.1   && <0.1,
+    hashable      >=1.2.7.0 && <1.3,
+    lens          >=4.16    && <4.17,
+    semigroupoids >=5.2.2   && <5.3
 
+  if !impl(ghc >= 8.0)
+    build-depends:
+      semigroups  >=0.18.4  && <0.18.5
+
   ghc-options:         -Wall -fprint-explicit-kinds
   hs-source-dirs:      src
   other-extensions:
@@ -100,7 +116,7 @@
     fin,
     vec,
     tagged,
-    inspection-testing >= 0.1.1.2 && <0.2
+    inspection-testing >= 0.2.0.1 && <0.3
 
   if !impl(ghc >= 8.0)
     buildable: False
@@ -127,4 +143,4 @@
     fin,
     vec,
     vector,
-    criterion >= 1.2.3.0 && <1.3
+    criterion >= 1.4.0.0 && <1.5