types refined partiality
Tout plus