[Yhc] Recursively Dependent Modules