The Haskell Wiki has some useful info about how to interpret foldr, including this image:

You can see how your expression expands to:

0 `k` (1 `k` ... (5 `k` 1)))))