The Korean dessert made from shaved ice, sweet red beans, and toppings is patbingsu.
Patbingsu developed from Korean shaved-ice traditions and was historically associated with ice stored in facilities such as seokbinggo during the Joseon period (1392–1897). The name combines pat, meaning red bean, with bingsu, meaning shaved ice.
Traditional versions emphasize sweetened red beans, while modern servings may add condensed milk, fruit, rice cakes, soybean powder, ice cream, or cereal. Bingsu is the broader category: patbingsu is specifically the red-bean variety. Green-tea, strawberry, coffee, and melon bingsu are different varieties, so “bingsu” alone is less precise for this question.