Ada's dependent types, and its types as a whole | Heykuki News