Then they are also 'total' by some definitions. So they would match the criteria of the original post? By some definitions, to be 'pure' includes being 'total

Then they are also 'total' by some definitions. So they would match the criteria of the original post? By some definitions, to be 'pure' includes being 'total'. Guess, back to original question. The ideas in this paper from 2004, seems to have been incorporated into more common languages like Haskell in 2024.