let fix = \f -> f(fix f) in unit