很好的介绍自由定理

我偶然发现了函数式语言中的自由定理 。 但是,我能find的唯一资源是Wadler的文章“ 免费定理 ”。 这是相当不错的,但它绝对不是一个教程,难以让我通过(我了解了一半,它需要我花了很多时间)。 你能推荐我另外一篇文章或教程,面向熟悉function性编程的软件开发人员,而不是硬核function语言研究人员吗?

谢谢。