:: Int -> (a -> a) -> a -> a package:uniplate

Use children and !!