@@ -209,7 +209,7 @@ type MonadJSM = MonadIO
209class (Applicative m, MonadIO m) => MonadJSM m where
209class (Applicative m, MonadIO m) => MonadJSM m where
210 liftJSM' :: JSM a -> m a
210 liftJSM' :: JSM a -> m a
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
213 liftJSM' = lift . (liftJSM' :: MonadJSM m' => JSM a -> m' a)
213 liftJSM' = lift . (liftJSM' :: MonadJSM m' => JSM a -> m' a)
214 {-# INLINE liftJSM' #-}
214 {-# INLINE liftJSM' #-}