src/GHC-List.html#and List の中の論理値が全て True であるかどうかチェックするには、Falseが出現した時点で成立しない。ここでチェックをやめてもいいのだけれど Haskell は fold を使っているので最後までチェックしている。 Special folds という分類…