impl operator type