people only criticize laughter to a certain extent and they only criticize joking to a certain extent. whenever a joke is intended to be beneficial and laughter is intended to be the thing that makes laughter then joking becomes serious and laughter becomes dignified.
فالناس لم يعيبوا الضحك إلا بقدر، ولم يعيبوا المزح إلا بقدر، ومتى أريد بالمزح النفع، وبالضحك الشيء الذي له جعل الضحك، صار المزح جدا، والضحك وقارا.