I think its closer to unknown than any, which has significantly less ugliness, but ultimately IMO you can’t have a gradually typed language w/ type inference and not give people an option along these lines.
More succinctly, if the function is called Kernel.return_dynamic_value_but_only_use_this_function_in_tests_ok? then people will just use Process.get 
I definitely think care should be taken with the naming, documentation and functionality of the function, but I don’t think its realistic to do anything other than give it a name that represents what it does from a type system perspective, and then discourage people from using it.
