練習問題 4.2.7

reverse (reverse xs) = xs
という表明を再考しよう． 以下が成り立つので，この表明は有限のリストだけではなく，すべてのリストについて証明できているように見える． 



reverse (reverse ⊥) = reverse ⊥ = ⊥




xs

上の帰納法により証明しようとすると，

⊥

の場合および

[]

の場合には成り立つが，

x:xs

の場合にはなりたたない．違いは無限リストxs = ⊥と考えた点にある．