Notes on subtyping.