operator punktu stałego
test (jak wiąże aplikacja funkcji)
reduce mówi jaką regułę stosuje