free-monads

本文提出了一种从独立组件组合数据类型和函数的技术，并将该方法扩展到结合自由单子，从而实现了对Haskell的IO单子的模块化结构。