postulate A:: Set

f :: ((A -> A) -> A) -> A
  = \(aaa::(A -> A)-> A)-> 
    let aa::A -> A
          = {! !}
    in  aaa aa