haskell - 自由定理の良い入門書

Question

関数型言語の自由定理のいいアイデアを偶然見つけました。しかし、私が見つけることができた唯一のリソースは、Wadler の記事「Theorems for Free」です。かなり良いですが、チュートリアルではなく、理解するのが難しいことは間違いありません（半分ほど理解できたので、かなりの時間を費やす必要がありました）。ハードコアな関数型言語の研究者ではなく、関数型プログラミングに精通したソフトウェア開発者向けの別の記事またはチュートリアルをお勧めできますか?

ありがとう。