Dynamic type systems are not inherently more open | Heykuki News