----------------------------------------------------------------

only :: Eq a => a -> Prism' a ()
only a = nearly a (== a)
only :: Eq a => a -> Prism' a ()
only a = nearly a (== a)
only a = nearly a (== a)