Union type of the value and its value generator function.