How do you type a function whose return type depends on its input?

Write or say your answer first, then compare it with the model answer.