Examples

subtyping



slide: Examples of subtyping