introducing function-reference type