И ещё. Почему, если описание трэйта Add такое:

pub trait Add<RHS, Result> {
    fn add(&self, rhs: &RHS) -> Result;
}

я не могу написать 2 "имплементации":

impl Add<MyType, MyType> for MyType {
    fn add(&self, other: &MyType) -> MyType {
        ...
    }
}

impl Add<u64, MyType> for MyType {
    fn add(&self, other: u64) -> MyType {
        ...
        }
    }
}

Или это надо делать как-то по другому?