Finocchiaro, M. Fontana, D. Spirito) -- Relative polynomial closure and monadically