@ComeIntoPower 投稿 浅谈 GADT 与 Dependent Type
另外队列中 #210 的链接有问题，能不能修复一下呢