@@ -91,36 +91,21 @@ instance
9191
9292type instance Lift.StT (TT tag trans) a = Lift.StT trans a
9393
94−instance
95− ( Lift.LiftLocal trans
96− ) => Lift.LiftLocal (TT tag trans)
97− where
98− liftLocal = Lift.defaultLiftLocal pack unpack
94+instance Lift.LiftLocal trans => Lift.LiftLocal (TT tag trans) where
95+ liftLocal = Lift.defaultLiftLocal pack unpack
9996
100−instance
101− ( Lift.LiftCatch trans
102− ) => Lift.LiftCatch (TT tag trans)
103− where
104− liftCatch = Lift.defaultLiftCatch pack unpack
97+instance Lift.LiftCatch trans => Lift.LiftCatch (TT tag trans) where
98+ liftCatch = Lift.defaultLiftCatch pack unpack
10599
106−instance
107− ( Lift.LiftListen trans
108− ) => Lift.LiftListen (TT tag trans)
109− where
110− liftListen = Lift.defaultLiftListen pack unpack
100+instance Lift.LiftListen trans => Lift.LiftListen (TT tag trans) where
101+ liftListen = Lift.defaultLiftListen pack unpack
111102
112−instance
113− ( Lift.LiftPass trans
114− ) => Lift.LiftPass (TT tag trans)
115− where
116− liftPass = Lift.defaultLiftPass pack unpack
103+instance Lift.LiftPass trans => Lift.LiftPass (TT tag trans) where
104+ liftPass = Lift.defaultLiftPass pack unpack
117105
118−instance
119− ( Lift.LiftCallCC trans
120− ) => Lift.LiftCallCC (TT tag trans)
121− where
122− liftCallCC = Lift.defaultLiftCallCC pack unpack
123− liftCallCC' = Lift.defaultLiftCallCC' pack unpack
106+instance Lift.LiftCallCC trans => Lift.LiftCallCC (TT tag trans) where
107+ liftCallCC = Lift.defaultLiftCallCC pack unpack
108+ liftCallCC' = Lift.defaultLiftCallCC' pack unpack
124109
125110-- Instances for mtl classes
126111