lecture: lecture 01: add partial application etc