可以通过形式化的证明来在编译时判定一个Monad的instance是否满足Monad Law么
更强悍的类型系统，来判定一个 Monad 实现是否满足 Monad Law？ coq 和其他dependently typed语言是可以做到这一点（自动（？）判断一个 monad instance是不是符合 monad law）的。(没亲自用过，听说，所以自动后面加了问号……）
推荐阅读
- 兰州启动进口冷链食品监管总仓“出仓”须查验证明
- 疾病|医生不避讳：4种疾病可以通过性传播，思想开放的人要小心了
- 派出所|柳州民政局回应“市民无法证明自己是自己”：正帮助补领结婚证
- 趣头条|蔚来和小鹏汽车 用11月的销量 再次证明了他们的实力
- 人死了之后死亡证明会被提交给啥部门嘛
- 人类能证明除了自己，其他人也有意识吗（我有意识，其他人也一定有这种方式不算）
- 动态规划能得到一类问题的最优解，比如背包问题用动态规划来解决，怎样证明这个解就是相对应问题的最优解呢
- 柳州民政局回应“市民无法证明自己是自己”：帮助补领结婚证
- 装死躲审判？男子涉嫌诈骗190万 竟自办“死亡证明”逃避制裁
- 可以通过伪随机生成真实的地球吗