Pattern matching not doing expect type narrowing? - Effect Community