edit lecture: lecture 16: finish associated data type