let
return_R f =
R
f