impl a.
impl b.
impl.