fix f = let {x = f x} in x
Talking about let, I thought that let P = Q in R would evaluate Q -> Q\' then P is replaced by Q\' in R, or: <
let P = Q in R