Hi, davez. What will you derive from "being" a particular type?