let with_identity r f = f r