Eleinte szimplán trollkodásnak vettem a hozzászólásod, de lehet, hogy tévedek és nem az, csak a gúnyolódó stílus miatt tűnt annak, ezért megpróbálok érdemben válaszolni rá.
De akkor a példádra visszatérve úgy kell megadni *minden* argumentum típusát (és nem csak intet használni, felelőtlenül), hogy tényleg totális függvény legyen, parciális helyett.
Így van, akkor totális egy függvény, ha minden inputra ad vissza értéket, és ez így is van az említett int paraméter ellenére. Nem attól lesz totális, hogy minden paramétert bekorlátozunk, hanem attól, hogy minden inputra ad outputot.
Pláne akkor, ha azt mondod, hogy "könnyedén lekorlátozható
Igen, ezt mondom, és meg is mutattam a cikkben, hogy az int könnyen lekorlátozható egy olyan adatszerkezetre, amiben nincs benne minden int érték (NotZeroInt). Ezáltal az összes bemenetre ad vissza outputot a függvény.