>>663
ありがとう！見つけた。
http://chris-taylor.github.io/blog/2013/02/10/the-algebra-of-algebraic-data-types/
ですね。今読んでる...