@@ -86,10 +86,10 @@ instance Monoid w => Lift.LiftLocal (WriterT tag w)
8686instance Monoid w => Lift.LiftCatch (WriterT tag w)
8787
8888instance Monoid w' => Lift.LiftListen (WriterT tag w') where
89− liftListen listen m = WriterT $ Lift.liftListen listen (coerce m)
89+ liftListen listen' m = WriterT $ Lift.liftListen listen' (coerce m)
9090
9191instance Monoid w' => Lift.LiftPass (WriterT tag w') where
92− liftPass pass m = WriterT $ Lift.liftPass pass (coerce m)
92+ liftPass pass' m = WriterT $ Lift.liftPass pass' (coerce m)
9393
9494instance Monoid w => Lift.LiftCallCC (WriterT tag w) where
9595 liftCallCC callCC f = WriterT $ Lift.liftCallCC callCC (coerce f)