refactor LambdaUnion