On the nature of types | Heykuki News