Abstract out real-lambda