Some text on subtyping