---

---

slide: Examples of subtyping

---