Represents an operation on a single operand that produces a result of the
same type as its operand. This is a specialization of
the case where the operand and result are of the same type.
|the type of the operand and result of the operator|