package P is new Q (A => B, others => <>);