If we apply operation X to a variable of type Y, we get a variable of type Z.