marshmallows and milk in a heatproof bowl,
heat until melted. Remove from heat, add vanilla
and let cool. When mixture is thoroughly cooled
and beginning to thicken, fold in whipped
cream until thick but not stiff. Pour into
the ice cream maker and follow the manufacturer's
instructions for freezing.