Yが不動点コンビネータであるとは~を満たすことである
なのか
Y:=なんかの普遍性とか
とすればYは不動点コンビネータである
なのか