:: (a -> b) -> [a] -> [b] package:universum -is:exact

map generalized to Functor.
>>> map not (Just True)
Just False

>>> map not [True,False,True,True]
[False,True,False,False]