An abstract monadic semantics for value recursion