@@ -209,7 +209,7 @@ type MonadJSM = MonadIO
209209class (Applicative m, MonadIO m) => MonadJSM m where
210210 liftJSM' :: JSM a -> m a
211211
212− default liftJSM' :: (MonadJSM m', MonadTrans t) => JSM a' -> t m' a'
212+ default liftJSM' :: (MonadJSM m', MonadTrans t, m ~ t m') => JSM a -> m a
213213 liftJSM' = lift . (liftJSM' :: MonadJSM m' => JSM a -> m' a)
214214 {-# INLINE liftJSM' #-}
215215