GOperator - reification of an operator in a type-safe language