It’s good to have fun at work... practical jokes, inside jokes, corny jokes, music, shenanigans, hijinks, tomfoolery, silliness... and lots of laughing.
Colleagues that have fun together, work hard together. And ultimately, it’s a good culture in which students can learn.