Association type The type-instance relationship