the beauty of applicative order and normal order