The figure shows a type hierarchy of four types: