:: (a -> IO b) -> [a] -> IO [b] package:ghc