Dependency Lifting in Function Construction - Effect Community