diff --git a/pretty-sop.cabal b/pretty-sop.cabal
--- a/pretty-sop.cabal
+++ b/pretty-sop.cabal
@@ -1,5 +1,5 @@
 name:                pretty-sop
-version:             0.2.0.0
+version:             0.2.0.1
 synopsis:            A generic pretty-printer using generics-sop
 description:
   This library contains a generic implementation of the 'prettyVal'
@@ -18,7 +18,7 @@
 category:            Generics
 build-type:          Simple
 cabal-version:       >=1.10
-tested-with:         GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2
+tested-with:         GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1, GHC == 8.0.2, GHC == 8.1.*
 
 source-repository head
   type:                git
@@ -32,7 +32,8 @@
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall
-  default-extensions:  ScopedTypeVariables
+  default-extensions:  CPP
+                       ScopedTypeVariables
                        TypeFamilies
                        RankNTypes
                        TypeOperators
@@ -56,4 +57,3 @@
                        PolyKinds
                        UndecidableInstances
                        TemplateHaskell
-                       CPP
diff --git a/src/Generics/SOP/PrettyVal.hs b/src/Generics/SOP/PrettyVal.hs
--- a/src/Generics/SOP/PrettyVal.hs
+++ b/src/Generics/SOP/PrettyVal.hs
@@ -44,7 +44,9 @@
   where
     aux :: forall x y. NP (K Value) '[x, y] -> Value
     aux (K x :* K y :* Nil) = InfixCons x [(n, y)]
+#if __GLASGOW_HASKELL__ < 800
     aux _                   = error "inaccessible"
+#endif
 prettyValFor (Record n fs)   = K . Rec n . hcollapse . hcliftA2 p aux fs
   where
     aux :: forall a. PrettyVal a => FieldInfo a -> I a -> K (Name, Value) a