不带依赖类型的依赖表达式

Haskell 社区文章探讨如何在缺乏依赖类型系统支持的情况下表达依赖式 if 表达式，发布在 haskellforall.com 并登上 Hacker News。