@@ -47,7 +47,7 @@ type PrismP s t a b =
4747type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s
4848
4949prism :: (b -> t) -> (s -> Either t a) -> PrismP s t a b
50−prism bt seta = dimap seta (either id bt) . right'
50+prism bt seta eta = dimap seta (either id bt) (right' eta)
5151{-# INLINE prism #-}
5252
5353data Record4 a = MkRecord4
@@ -97,7 +97,7 @@ subtypeLensManual f record
9797data Sum1 = A Char | B Int | C () | D () deriving (Generic, Show)
9898
9999sum1PrismManual :: PrismP Sum1 Sum1 Int Int
100−sum1PrismManual = prism g f
100+sum1PrismManual eta = prism g f eta
101101 where
102102 f s1 = case s1 of
103103 B i -> Right i