@@ -120,14 +120,6 @@ sum3Param2Manual f (A3 a1 a2) = pure (\a1' a2' -> A3 a1' a2') <*> f a1 <
120120sum3Param2Manual f (B3 s b1 a1 a2 b2) = pure (\a1' a2' -> B3 s b1 a1' a2' b2) <*> f a1 <*> f a2
121121sum3Param2Manual f (C3 c a i) = pure (\a' -> C3 c a' i) <*> f a
122122
123−sum3Param3Derived :: Traversal (Sum3 a b c) (Sum3 a b c) xxx yyy
124−sum3Param3Derived = param @3
125−
126−sum3Param3Manual :: Traversal (Sum3 a b c) (Sum3 a b c) xxx yyy
127−sum3Param3Manual _ (A3 a1 a2) = pure (A3 a1 a2)
128−sum3Param3Manual _ (B3 s b1 a1 a2 b2) = pure (B3 s b1 a1 a2 b2)
129−sum3Param3Manual _ (C3 c a i) = pure (C3 c a i)
130−
131123sum1PrismManual :: Prism Sum1 Sum1 Int Int
132124sum1PrismManual eta = prism g f eta
133125 where
@@ -241,8 +233,9 @@ tests = TestList $ map mkHUnitTest
241233 , $(inspectTest $ 'sum1PrismManual === 'sum1TypePrism)
242234 , $(inspectTest $ 'intTraversalManual === 'intTraversalDerived)
243235 , $(inspectTest $ 'sum3Param0Manual === 'sum3Param0Derived)
244−-- , $(inspectTest $ 'sum3Param1Manual === 'sum3Param1Derived)
245−-- , $(inspectTest $ 'sum3Param2Manual === 'sum3Param2Derived)
236+ -- TODO: these tests pass with the new implementation
237+ , $(inspectTest $ 'sum3Param1Manual === 'sum3Param1Derived)
238+ , $(inspectTest $ 'sum3Param2Manual === 'sum3Param2Derived)
246239 , $(inspectTest $ 'sum3Param3Manual === 'sum3Param3Derived)
247240 ]
248241