Show HN: Minimal type-safe language for software architecture | Heykuki News