@@ -2555,6 +2555,10 @@ instance Monad (SpiderHost x) where
25552555 {-# INLINABLE fail #-}
25562556 fail s = SpiderHost $ fail s
25572557
2558+instance PrimMonad (SpiderHost x) where
2559+ type PrimState (SpiderHost x) = PrimState IO
2560+ primitive = SpiderHost . primitive
2561+
25582562-- | Run an action affecting the global Spider timeline; this will be guarded by
25592563-- a mutex for that timeline
25602564runSpiderHost :: SpiderHost Global a -> IO a