>>957が解
不動点コンビネータは複数あるから、普遍性はない