Subtyping (lecture 13)