Currying & RT & High-order func