patbingsu; shaved ice with red bean topping — A dish made with finely chopped ice, boiled red beans, condensed milk, milk, etc.