Issue with Error Inference in Effect Program - Effect Community