haskellが代数的だと言われる理由を説明している記事が
1年くらい前にこのスレに貼られていたと思う