edit lecture: lecture 20: add additional typeable