I’ve improved the example, to actually use something resembling the actual case I’m encountering.
Further, I’ve come across two potential solutions: ppx_include and “untying the recursive knot” (parameterizing the type).
So far, I think the ppx_include may work.