functional composition and higher order func on maps