lecture: lecture 16: finish introduction of Maybe