Sounds good. Let's move `with_ex_local_param` too.