let apply r = Fun(Apply(r))