Dependent if expressions without dependent types

(haskellforall.com)

3 points | by g0xA52A2A 7 hours ago ago