Working on subtyping.