If you think about it long enough, you'll see that it's obvious.
"Types and programming languages" by Benjamin C. Pierce, (p. 313), 2002.
If you think about it long enough, you'll see that it's obvious.