Função que exige efeito passada onde se espera uma função pura

Um parâmetro tipado como função simples (`fn(...) -> T`, sem cláusula `with`) promete pureza — nada do que roda nele realiza um efeito que o chamador já não conheça. Passar ali uma função que ela própria exige um efeito deixa esse efeito escapar totalmente não declarado, a mesma classe de vazamento que `TE802` bloqueia na direção comum de chamada.