Issue with Type Inference in Chained Operations - Effect Community