Okay, I'm saying that error messages are not sufficient here. The deps should be mechanically inferable without having to hit a full compile + type