Type Alias RemoveImplOp 

pub type RemoveImplOp<Input, Index> = <() as RemoveImpl<Input, Index>>::Output;