Type Alias PushImplOp 

pub type PushImplOp<Input, Item> = <() as PushImpl<Input, Item>>::Output;