Source: technical.cx · Lobsters Dependent if expressions without dependent types September 02, 2026 17:52 Folklore trick for dollar-store dependent types Open original