fold left basics + continuation basics