witty-crayon-22786
The deps should be _mechanically inferable_ without having to hit a full compile + type