Fixup rec-lambda contract