diff --git a/src/Hash2Pub/FediChord.hs b/src/Hash2Pub/FediChord.hs
index 7a5abb0..70c9ff7 100644
--- a/src/Hash2Pub/FediChord.hs
+++ b/src/Hash2Pub/FediChord.hs
@@ -95,10 +95,10 @@ import           Debug.Trace                   (trace)
 
 -- | initialise data structures, compute own IDs and bind to listening socket
 -- ToDo: load persisted state, thus this function already operates in IO
---fediChordInit :: (DHT d, Service s d)
---              => FediChordConf
---              -> (d -> s d)     -- ^ runner function for service
---              -> IO (Socket, LocalNodeStateSTM)
+fediChordInit :: (Service s RealNodeSTM)
+              => FediChordConf
+              -> (RealNodeSTM -> IO (s RealNodeSTM))     -- ^ runner function for service
+              -> IO (Socket, LocalNodeStateSTM)
 fediChordInit initConf serviceRunner = do
     emptyLookupCache <- newTVarIO Map.empty
     let realNode = RealNode {