I'm surprised this doesn't generate an 'unused binding' compiler warning for `k`.