(\identity.(\twice.(\result.result ((twice identity) VALUE)) \f.\x.(f (f x))) \x.x)