Specify the right local effects on the optional match pipe
Merge pull request #3084 from jakub-/optional-match-eagerness

Specify the right local effects on the optional match pipe