It is important to note the difference between state and mutable state as I believe you are conflating the two here. There is no reason that you cannot have structs.