I have used un-shredded leaves (oak mainly) for decades. Shredded leaves are the ones that mat and are best suited for the compost pile. I use leaves up to 8" thick for mulching and have had absolutely no problem even with that thickness. I sure wouldn't use grass clipping for a winter mulch though. Just my preference and experience.