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