[foldr]

Yeah, I actually wasn’t aware that axolotl was an established English word, so I was more in your hypothetical “Chinese village” mindset.