diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+## 1.0.2.0
+
+*   Get building on GHC-8.10 by quantifying kind in some type class instances.
+    Thanks [@ocharles](https://github.com/ocharles)!
+    [#8](https://github.com/cdepillabout/world-peace/pull/8)
 
 ## 1.0.1.0
 
diff --git a/src/Data/WorldPeace/Product.hs b/src/Data/WorldPeace/Product.hs
--- a/src/Data/WorldPeace/Product.hs
+++ b/src/Data/WorldPeace/Product.hs
@@ -53,22 +53,22 @@
   toProduct :: tuple -> Product f as
 
 -- | Convert a single value into a 'Product'.
-instance forall (f :: u -> *) (a :: u). ToProduct (f a) f '[a] where
+instance forall u (f :: u -> *) (a :: u). ToProduct (f a) f '[a] where
   toProduct :: f a -> Product f '[a]
   toProduct fa = Cons fa Nil
 
 -- | Convert a tuple into a 'Product'.
-instance forall (f :: u -> *) (a :: u) (b :: u). ToProduct (f a, f b) f '[a, b] where
+instance forall u (f :: u -> *) (a :: u) (b :: u). ToProduct (f a, f b) f '[a, b] where
   toProduct :: (f a, f b) -> Product f '[a, b]
   toProduct (fa, fb) = Cons fa $ Cons fb Nil
 
 -- | Convert a 3-tuple into a 'Product'.
-instance forall (f :: u -> *) (a :: u) (b :: u) (c :: u). ToProduct (f a, f b, f c) f '[a, b, c] where
+instance forall u (f :: u -> *) (a :: u) (b :: u) (c :: u). ToProduct (f a, f b, f c) f '[a, b, c] where
   toProduct :: (f a, f b, f c) -> Product f '[a, b, c]
   toProduct (fa, fb, fc) = Cons fa $ Cons fb $ Cons fc Nil
 
 -- | Convert a 4-tuple into a 'Product'.
-instance forall (f :: u -> *) (a :: u) (b :: u) (c :: u) (d :: u). ToProduct (f a, f b, f c, f d) f '[a, b, c, d] where
+instance forall u (f :: u -> *) (a :: u) (b :: u) (c :: u) (d :: u). ToProduct (f a, f b, f c, f d) f '[a, b, c, d] where
   toProduct :: (f a, f b, f c, f d) -> Product f '[a, b, c, d]
   toProduct (fa, fb, fc, fd) = Cons fa $ Cons fb $ Cons fc $ Cons fd Nil
 
@@ -150,4 +150,3 @@
   showsPrec :: Int -> (Product f (a ': as)) -> String -> String
   showsPrec n (Cons fa prod) = showParen (n > 10) $
     showString "Cons " . showsPrec 11 fa . showString " " . showsPrec 11 prod
-
diff --git a/src/Data/WorldPeace/Union.hs b/src/Data/WorldPeace/Union.hs
--- a/src/Data/WorldPeace/Union.hs
+++ b/src/Data/WorldPeace/Union.hs
@@ -80,6 +80,7 @@
 import Data.Functor.Identity (Identity(Identity, runIdentity))
 import Data.Kind (Constraint)
 import Data.Proxy
+import Data.Type.Bool (If)
 import Data.Typeable (Typeable)
 import GHC.TypeLits (ErrorMessage(..), TypeError)
 import Text.Read (Read(readPrec), ReadPrec, (<++))
@@ -144,16 +145,6 @@
 type family CheckElemIsMember (a :: k) (as :: [k]) :: Constraint where
     CheckElemIsMember a as =
       If (Elem a as) (() :: Constraint) (TypeError (NoElementError a as))
-
--- | Type-level @if@.
---
--- >>> Refl :: If 'True String Double :~: String
--- Refl
--- >>> Refl :: If 'False String Double :~: Double
--- Refl
-type family If (bool :: Bool) (thenCase :: k) (elseCase :: k) :: k where
-  If 'True thenCase _ = thenCase
-  If 'False _ elseCase = elseCase
 
 -- | Type-level version of the 'elem' function.
 --
diff --git a/stack.yaml b/stack.yaml
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,7 +1,7 @@
 # For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration.html
 
 # Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
-resolver: lts-13.27
+resolver: lts-16.2
 
 # Local packages, usually specified by relative directory name
 packages:
diff --git a/world-peace.cabal b/world-peace.cabal
--- a/world-peace.cabal
+++ b/world-peace.cabal
@@ -1,5 +1,5 @@
 name:                world-peace
-version:             1.0.1.0
+version:             1.0.2.0
 synopsis:            Open Union and Open Product Types
 description:         Please see <https://github.com/cdepillabout/world-peace#readme README.md>.
 homepage:            https://github.com/cdepillabout/world-peace