Refining Syntax of Generator Functions - Effect Community