快速检查标准库

根据规范（例如根据Haskell98报告）为QuickChecking Haskells标准库（如实现din，例如GHC）构建一个工具/框架。

背景：简介。FP，数据结构；（最好）AFP、程序验证。人数：1或2。联系人：科恩