@@ -91,36 +91,21 @@ instance
92type instance Lift.StT (TT tag trans) a = Lift.StT trans a
92type instance Lift.StT (TT tag trans) a = Lift.StT trans a
95− ( Lift.LiftLocal trans
96− ) => Lift.LiftLocal (TT tag trans)
94+instance Lift.LiftLocal trans => Lift.LiftLocal (TT tag trans) where
98− liftLocal = Lift.defaultLiftLocal pack unpack
95+ liftLocal = Lift.defaultLiftLocal pack unpack
101− ( Lift.LiftCatch trans
102− ) => Lift.LiftCatch (TT tag trans)
97+instance Lift.LiftCatch trans => Lift.LiftCatch (TT tag trans) where
104− liftCatch = Lift.defaultLiftCatch pack unpack
98+ liftCatch = Lift.defaultLiftCatch pack unpack
107− ( Lift.LiftListen trans
108− ) => Lift.LiftListen (TT tag trans)
100+instance Lift.LiftListen trans => Lift.LiftListen (TT tag trans) where
110− liftListen = Lift.defaultLiftListen pack unpack
101+ liftListen = Lift.defaultLiftListen pack unpack
113− ( Lift.LiftPass trans
114− ) => Lift.LiftPass (TT tag trans)
103+instance Lift.LiftPass trans => Lift.LiftPass (TT tag trans) where
116− liftPass = Lift.defaultLiftPass pack unpack
104+ liftPass = Lift.defaultLiftPass pack unpack
119− ( Lift.LiftCallCC trans
120− ) => Lift.LiftCallCC (TT tag trans)
106+instance Lift.LiftCallCC trans => Lift.LiftCallCC (TT tag trans) where
122− liftCallCC = Lift.defaultLiftCallCC pack unpack
107+ liftCallCC = Lift.defaultLiftCallCC pack unpack
123− liftCallCC' = Lift.defaultLiftCallCC' pack unpack
108+ liftCallCC' = Lift.defaultLiftCallCC' pack unpack
125-- Instances for mtl classes
110-- Instances for mtl classes