It's not possible to bake in a cold oven. Why does your type allow it then? Why don't you encode the state directly?
oven := ColdOven.heat() bakedPizza := oven.bake(pizza)
It's not possible to bake in a cold oven. Why does your type allow it then? Why don't you encode the state directly?