First-class Runtime Generation of High-performance Types using Exotypes | Heykuki News