[xfer]

You can't downcast it to anything you want, it returns an Option, void pointers in C are not certainly the same, it's unsafe.

[foldr]

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