Understanding Type Inference in `evaluatePrimitive` - Effect Community