Inferring Return Type Based on `include` Parameter - Effect Community