let omega = λx.x x in omega omega