Can you take any type to a function and then cast it in X type

What stays forever exactly?