Specifying Return Type of Effect Without E and R Types - Effect Community