[foldr]

This is the kind of edge case you can find in lots of languages, including Rust (which has plenty of past and present soundness bugs).