:: Int -> (a -> a) -> a -> a package:lists-flines