使った形で表現すると、以下を得る。ψ)〛G,F......と、ここまで書いてきて気づいたのだけど、酸性雨定理から証明できるな。成り立つと上で書いた。この同型は具体的には次の関数で表現される。いう書き換えが出来る。これは酸性雨定理からも明らか。リストの場合については、GHC等のHaskellコンパイラで最適化のために広く使われている。以下はGHC.Baseから引用。成り立つと上で書いた。この同型は具体的には次の関数で表現される。いう書き換えが出来る。これは酸性雨定理からも明らか。して知られているものになる。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。