nothing :: Prism' (Maybe a) ()
>>> Nothing `shouldSatisfy` P.nothing
nothing_ :: Traversal' (Maybe a) ()