@@ -108,7 +108,7 @@ class MonadS m where
108108 returnS :: a -> m a
109109 bindS :: Show a => m a -> (a -> m b) -> m b
110110 failS :: String -> m a
111− seqS :: Show a => m a -> m b -> m b
111+ seqS :: m a -> m b -> m b
112112
113113instance MonadS IO where
114114 returnS = Prelude.return
@@ -128,7 +128,7 @@ instance MonadS Traced where
128128 x `seqS` y = Traced $ unTraced x Prelude.>>= \(trace, result) ->
129129 case result of
130130 Left err -> Prelude.return (trace, Left err)
131− Right a -> unTraced y Prelude.>>= \(trace', result') ->
131+ Right _ -> unTraced y Prelude.>>= \(trace', result') ->
132132 Prelude.return (trace ++ trace', result')
133133 failS err = Traced $ Prelude.return ([], Left err)
134134