diff --git a/README.md b/README.md
index c7fb24f..fd75b82 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ Example Usage:
 > {-# LANGUAGE UndecidableInstances #-}
 > {-# LANGUAGE MultiParamTypeClasses #-}
 > {-# OPTIONS_GHC -ddump-splices #-}
->
+
 > import Data.Aeson
 > import Data.Aeson.GADT.TH
 > import Data.Dependent.Map (DMap)
@@ -24,48 +24,49 @@ Example Usage:
 > import Data.Functor.Identity
 > import Data.GADT.Compare
 > import Data.GADT.Show.TH
+> import Data.Kind (Type)
 > import Data.Some (Some(..))
->
-> data A :: * -> * where
+
+> data A :: Type -> Type where
 >   A_a :: A a
 >   A_b :: Int -> A ()
->
+
 > deriveJSONGADT ''A
 > deriveGShow ''A
->
-> data B c :: * -> * where
+
+> data B c :: Type -> Type where
 >   B_a :: c -> A a -> B c a
 >   B_x :: B c a
->
+
 > deriveJSONGADT ''B
->
-> data C t :: * -> * where
+
+> data C t :: Type -> Type where
 >   C_t :: t -> C t t
->
+
 > deriveJSONGADT ''C
->
-> data D t x :: * -> * where
+
+> data D t x :: Type -> Type where
 >   D_t :: t -> D t x t
 >   D_x :: x -> D t x x
 >   D_i :: Int -> D t x Int
->
+
 > deriveJSONGADT ''D
->
+
 > data Auth token a where
 >   Auth_Login :: String -> String -> Auth token (Either String token)
->
+
 > deriveJSONGADT ''Auth
->
+
 > -- Some real-world-ish examples.
->
+
 > -- | Edit operations for `LabelledGraph`
-> data LabelledGraphEdit v vm em :: * -> * where
+> data LabelledGraphEdit v vm em :: Type -> Type where
 >   LabelledGraphEdit_ClearAll :: LabelledGraphEdit v vm em ()
 >   LabelledGraphEdit_AddVertex :: vm -> LabelledGraphEdit v vm em v
 >   LabelledGraphEdit_AddEdge :: v -> v -> em -> LabelledGraphEdit v vm em ()
 >   LabelledGraphEdit_SetVertexProperties :: v -> vm -> LabelledGraphEdit v vm em ()
 >   LabelledGraphEdit_SetEdgeProperties :: v -> v -> em -> LabelledGraphEdit v vm em ()
->
+
 > -- | PropertyGraphEdit operatios for `PropertyGraph`
 > data PropertyGraphEdit v vp ep r where
 >   PropertyGraphEdit_ClearAll :: PropertyGraphEdit v vp ep ()
@@ -73,17 +74,17 @@ Example Usage:
 >   PropertyGraphEdit_AddEdge :: v -> v -> (DMap ep Identity) -> PropertyGraphEdit v vp ep ()
 >   PropertyGraphEdit_SetVertexProperty :: GCompare vp => v -> DSum vp Identity -> PropertyGraphEdit v vp ep ()
 >   PropertyGraphEdit_SetEdgeProperty :: GCompare ep => v -> v -> DSum ep Identity -> PropertyGraphEdit v vp ep ()
->
+
 > -- | View operations for `LabelledGraph`
-> data LabelledGraphView v vm em :: * -> * where
+> data LabelledGraphView v vm em :: Type -> Type where
 >   LabelledGraphView_All :: LabelledGraphView v vm em ()
 >   LabelledGraphView_GetVertexProperties :: v -> LabelledGraphView v vm em vm
 >   LabelledGraphView_GetEdgeProperties :: v -> v -> LabelledGraphView v vm em em
->
+
 > deriveJSONGADT ''LabelledGraphEdit
 > deriveJSONGADT ''PropertyGraphEdit
 > deriveJSONGADT ''LabelledGraphView
->
+
 > main :: IO ()
 > main = do
 >   putStrLn $ unlines
@@ -92,14 +93,14 @@ Example Usage:
 >     , "Decoding of encoded A_a:"
 >     , show (decode $ encode A_a :: Maybe (Some A))
 >     ]
->
+
 >   putStrLn $ unlines
 >     [ "Encoding of (A_b 1):"
 >     , show $ encode (A_b 1)
 >     , "Decoding of encoded (A_b 1):"
 >     , show (decode $ encode (A_b 1) :: Maybe (Some A))
 >     ]
->
+
 >   putStrLn $ unlines
 >     [ "Encoding of (B_a 'a' (A_b 1)):"
 >     , show $ encode (B_a 'a' (A_b 1))