"For example, these two snippets do the same thing, given that foo is a function taking a ???pure??? value, and x is a ???nullable??? value:" . . . .