>>720
俺も気になってる。
取り敢えずこれ読んでる。
http://ja.m.wikibooks.org/wiki/Haskell/Denotational_semantics