prism' :: (b -> s) -> (s -> Maybe a) -> Prism s s a b
prism' to from = prism to (\s -> maybe (Left s) Right $ from s)
prism' :: (b -> s) -> (s -> Maybe a) -> Prism s s a b
prism' to from = prism to (\s -> maybe (Left s) Right $ from s)
prism' to from = prism to (\s -> maybe (Left s) Right $ from s)