Varying output type
The input type and output type of a function are fixed. So you can't write something like:
This is because the output type of
f can be either always a
Bool, as the first line implies, or always a number, as the second line implies.
See this FAQ for the correct approach.
Created: January 7, 2023