Which of these is a type of hat?

I always thought a pork pie hat was a men’s hat.

i love to eat a pork pie 🥧

"and a button nose" Ask Frosty

tunegrabber, what has that got to do with the question, a tune called pork pie' !! I've never even heard of it!! I'll have to look it up?

one of my favorite Jeff Beck tunes.

Rudie Can't Fail