diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for `newtype-generics`
 
+## [0.5.4] – 2019-09-10
+- Add `Newtype` instance for `Data.Monoid.Ap`.
+- Support GHC-8.8.
+
 ## [0.5.3] – 2018-03-23
 - All code was moved to a new `Control.Newtype.Generics` module.
 - `Control.Newtype` re-exports `Control.Newtype.Generics`, but is deprecated
@@ -32,9 +36,10 @@
 - Relax types of `underF` and `overF` to allow different input & output functors
 
 
-[Unreleased]: https://github.com/jcristovao/newtype-generics/compare/v0.5.3...HEAD
-[0.5.3]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2.2...v0.5.3
-[0.5.2.2]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2.1...v0.5.2.2
-[0.5.2.1]: https://github.com/jcristovao/newtype-generics/compare/v0.5.2...v0.5.2.1
-[0.5.2]: https://github.com/jcristovao/newtype-generics/compare/v0.5.1...v0.5.2
-[0.5.1]: https://github.com/jcristovao/newtype-generics/compare/v0.5.0.1...v0.5.1
+[Unreleased]: https://github.com/sjakobi/newtype-generics/compare/v0.5.4...HEAD
+[0.5.4]: https://github.com/sjakobi/newtype-generics/compare/v0.5.3...v0.5.4
+[0.5.3]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2.2...v0.5.3
+[0.5.2.2]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2.1...v0.5.2.2
+[0.5.2.1]: https://github.com/sjakobi/newtype-generics/compare/v0.5.2...v0.5.2.1
+[0.5.2]: https://github.com/sjakobi/newtype-generics/compare/v0.5.1...v0.5.2
+[0.5.1]: https://github.com/sjakobi/newtype-generics/compare/v0.5.0.1...v0.5.1
diff --git a/Control/Newtype/Generics.hs b/Control/Newtype/Generics.hs
--- a/Control/Newtype/Generics.hs
+++ b/Control/Newtype/Generics.hs
@@ -324,6 +324,14 @@
   unpack (Alt x) = x
 #endif
 
+#if MIN_VERSION_base(4,12,0)
+-- | @since Unreleased
+instance Newtype (Ap f a) where
+  type O (Ap f a) = f a
+  pack = Ap
+  unpack = getAp
+#endif
+
 -- Instances from Data.Ord
 
 -- | @since 0.5.1
diff --git a/README.md b/README.md
deleted file mode 100644
--- a/README.md
+++ /dev/null
@@ -1,7 +0,0 @@
-newtype-generics
-================
-
-# bsb-http-chunked
-
-[![Build Status](https://travis-ci.org/sjakobi/newtype-generics.svg?branch=master)](https://travis-ci.org/sjakobi/newtype-generics)
-[![Hackage](https://img.shields.io/hackage/v/newtype-generics.svg)](http://hackage.haskell.org/package/newtype-generics)
diff --git a/bench/main.hs b/bench/main.hs
--- a/bench/main.hs
+++ b/bench/main.hs
@@ -2,8 +2,7 @@
 {-# language TypeFamilies #-}
 module Main where
 
-import Criterion
-import Criterion.Main
+import Gauge
 import Control.Newtype.Generics
 import Data.Coerce
 import Data.Foldable (foldMap)
diff --git a/newtype-generics.cabal b/newtype-generics.cabal
--- a/newtype-generics.cabal
+++ b/newtype-generics.cabal
@@ -1,5 +1,5 @@
 Name:                newtype-generics
-Version:             0.5.3
+Version:             0.5.4
 Synopsis:            A typeclass and set of functions for working with newtypes
 Description:         Per Conor McBride, the Newtype typeclass represents the packing and unpacking of a newtype,
                      and allows you to operate under that newtype with functions such as ala.
@@ -9,14 +9,16 @@
 License-file:        LICENSE
 Author:              Darius Jahandarie, Conor McBride, João Cristóvão, Simon Jakobi
 Maintainer:          Simon Jakobi <simon.jakobi@gmail.com>
-Homepage:            http://github.com/sjakobi/bsb-http-chunked
+Homepage:            http://github.com/sjakobi/newtype-generics
 Category:            Control
 Build-type:          Simple
-Extra-source-files:  CHANGELOG.md, README.md
+Extra-source-files:  CHANGELOG.md
 Cabal-version:       >=1.10
 Tested-with:
-  GHC==8.4.1,
-  GHC==8.2.1,
+  GHC==8.8.1,
+  GHC==8.6.5,
+  GHC==8.4.4,
+  GHC==8.2.2,
   GHC==8.0.2,
   GHC==7.10.3,
   GHC==7.8.4,
@@ -25,7 +27,7 @@
 Library
   Exposed-modules:     Control.Newtype
                      , Control.Newtype.Generics
-  Build-depends:       base >= 4.6 && < 4.13
+  Build-depends:       base >= 4.6 && < 4.14
                      , transformers < 0.6
   Ghc-options: -Wall
   default-language:   Haskell2010
@@ -50,7 +52,7 @@
   main-is:            main.hs
   hs-source-dirs:     bench
   build-depends:      base >= 4.7
-                    , criterion
+                    , gauge
                     , newtype-generics
                     , semigroups
   ghc-options:        -O2