greeting "Hello" "World" (greeting "Hello") "World" ((greeting) "Hello") "World"