Starting to write about subtyping