lift recursive functions to measures