When you say a pudding mix do you mean something like an instant whip mix.
Right, our puddings are usually not baked or steamed. If cooked, it's with scalded milk and corn starch to thicken.
Although these days, there are mixes that are no cook and take only 5 minutes.