3 files changed, 7 insertions, 4 deletions
diff --git a/src/Pairing.hs b/src/Pairing.hs
index 7c4b7e6..6545376 100644
--- a/src/Pairing.hs
+++ b/src/Pairing.hs
@@ -18,6 +18,7 @@ import Data.Bits
 import Data.ByteArray (Bytes, convert)
 import qualified Data.ByteArray as BA
 import qualified Data.ByteString.Char8 as BC
+import Data.Kind
 import Data.Maybe
 import qualified Data.Text as T
 import Data.Typeable
@@ -58,7 +59,7 @@ data PairingAttributes a = PairingAttributes
     }
 
 class (Typeable a, Storable a) => PairingResult a where
-    type PairingVerifiedResult a :: *
+    type PairingVerifiedResult a :: Type
     type PairingVerifiedResult a = a
 
     pairingServiceID :: proxy a -> ServiceID
diff --git a/src/Service.hs b/src/Service.hs
index 1d506aa..7d5c7e7 100644
--- a/src/Service.hs
+++ b/src/Service.hs
@@ -25,6 +25,7 @@ import Control.Monad.Reader
 import Control.Monad.State
 import Control.Monad.Writer
 
+import Data.Kind
 import Data.Typeable
 import Data.UUID (UUID)
 import qualified Data.UUID as U
@@ -44,13 +45,13 @@ class (Typeable s, Storable s, Typeable (ServiceState s), Typeable (ServiceGloba
     default defaultServiceAttributes :: ServiceAttributes s ~ Proxy s => proxy s -> ServiceAttributes s
     defaultServiceAttributes _ = Proxy
 
-    type ServiceState s :: *
+    type ServiceState s :: Type
     type ServiceState s = ()
     emptyServiceState :: proxy s -> ServiceState s
     default emptyServiceState :: ServiceState s ~ () => proxy s -> ServiceState s
     emptyServiceState _ = ()
 
-    type ServiceGlobalState s :: *
+    type ServiceGlobalState s :: Type
     type ServiceGlobalState s = ()
     emptyServiceGlobalState :: proxy s -> ServiceGlobalState s
     default emptyServiceGlobalState :: ServiceGlobalState s ~ () => proxy s -> ServiceGlobalState s
diff --git a/src/Storage/Internal.hs b/src/Storage/Internal.hs
index 3a05029..3a53567 100644
--- a/src/Storage/Internal.hs
+++ b/src/Storage/Internal.hs
@@ -22,6 +22,7 @@ import Data.Char
 import Data.Function
 import Data.Hashable
 import qualified Data.HashTable.IO as HT
+import Data.Kind
 import Data.List
 import Data.Map (Map)
 import qualified Data.Map as M
@@ -176,7 +177,7 @@ type Complete = Identity
 type Partial = Either RefDigest
 
 class (Traversable compl, Monad compl) => StorageCompleteness compl where
-    type LoadResult compl a :: *
+    type LoadResult compl a :: Type
     returnLoadResult :: compl a -> LoadResult compl a
     ioLoadBytes :: Ref' compl -> IO (compl BL.ByteString)