Generalize the type of prism'

prism' :: (b -> s) -> (s -> Maybe a) -> Prism s s a b