>>54
否

たとえば２つのリスト xs と ys が等値であるかを判定する再帰関数は、
fold と unfold だけでは定義できない(.... はず)