fix f = let x = f x in x

これってどういうこと？　x　=　f　x　って。
fがたとえば id ならまだいいけど、(+ 1)だったら？
っていうか言語的に、letの機能ってどうなってんの？