I recall long ago seeing some odd-looking little plastic cups sitting around, and asking my mom what they were. She said you'd put your coffee in a paper cup, a

I recall long ago seeing some odd-looking little plastic cups sitting around, and asking my mom what they were. She said you'd put your coffee in a paper cup, and then set the paper cup inside the plastic holder to sort of maintain integrity. Were the paper inserts used for those also impregnated with nasty junk? I'm unable to figure out the right search terms to find what these paper+plastic combos were called. edit: apparently they were "cozy cups" made by Solo among others, and the inserts were plastic so my question is moot.