diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,11 @@
+## 0.6.7002.0
+
+This is a breaking release that doesn't follow the PVP but because
+it's essentially a pre-release for version 0.7 I'm just going to
+blacklist the broken versions on Hackage and forget about it.
+
+* Swapped `N` and `NN` because they were the wrong way round.
+
 ## 0.6.7001.0
 
 * Fix bug with infinity in range bounds
diff --git a/Test/QuickCheck.hs b/Test/QuickCheck.hs
--- a/Test/QuickCheck.hs
+++ b/Test/QuickCheck.hs
@@ -395,10 +395,13 @@
          => p [Either a b] [Either a' b']
 eitherPP = PP.list (D.def PP.+++! D.def)
 
+-- Replace this with `isSuccess` when the following issue is fixed
+--
+--     https://github.com/nick8325/quickcheck/issues/220
 errorIfNotSuccess :: TQ.Result -> IO ()
 errorIfNotSuccess r = case r of
-  TQ.Success _ _ _ -> return ()
-  _                -> error "Failed"
+  TQ.Success {} -> return ()
+  _             -> error "Failed"
 
 firstBoolOrTrue :: b -> [Either a b] -> (b, [Either a b])
 firstBoolOrTrue true c = (b, c)
diff --git a/opaleye.cabal b/opaleye.cabal
--- a/opaleye.cabal
+++ b/opaleye.cabal
@@ -1,6 +1,6 @@
 name:            opaleye
 copyright:       Copyright (c) 2014-2018 Purely Agile Limited
-version:         0.6.7001.0
+version:         0.6.7002.0
 synopsis:        An SQL-generating DSL targeting PostgreSQL
 description:     An SQL-generating DSL targeting PostgreSQL.  Allows
                  Postgres queries to be written within Haskell in a
diff --git a/src/Opaleye/Internal/TypeFamilies.hs b/src/Opaleye/Internal/TypeFamilies.hs
--- a/src/Opaleye/Internal/TypeFamilies.hs
+++ b/src/Opaleye/Internal/TypeFamilies.hs
@@ -24,8 +24,8 @@
 data NullsT
 data WT
 
-type NN = 'F.Nullable
-type N  = 'F.NonNullable
+type NN = 'F.NonNullable
+type N  = 'F.Nullable
 
 data Optionality = OReq | OOpt