module m {
    uses p.I;
    provides p.I with p.A;
    provides p.I with p.B;
}