impl<D> Delta<D>where D: MyTrait,