lecture: lecture 13: finish check type class