Um(a) história engraçada é um tipo de piada