Há humor na esquerda brasileira?