[foldr]

I know. That's why I said it's "a safe analogue of casting a void pointer to another type".