@@ -86,10 +86,10 @@ instance Monoid w => Lift.LiftLocal (WriterT tag w)
86instance Monoid w => Lift.LiftCatch (WriterT tag w)
86instance Monoid w => Lift.LiftCatch (WriterT tag w)
88instance Monoid w' => Lift.LiftListen (WriterT tag w') where
88instance 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)
91instance Monoid w' => Lift.LiftPass (WriterT tag w') where
91instance 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)
94instance Monoid w => Lift.LiftCallCC (WriterT tag w) where
94instance Monoid w => Lift.LiftCallCC (WriterT tag w) where
95 liftCallCC callCC f = WriterT $ Lift.liftCallCC callCC (coerce f)
95 liftCallCC callCC f = WriterT $ Lift.liftCallCC callCC (coerce f)