I think it actually is already (unbeknownst to me!). They're both structured as a pointer and then the `Cond`