Dependent if expressions without dependent types

3 points | by g0xA52A2A 7 hours ago