pub trait MutationExt<T>: Mutation<T>where T: Mutable,{ // Provided method fn then<N>(self, after: N) -> Then<Self, N> where Self: Sized, N: Mutation<T> { ... } }