Why is `Prelude.mod` a total function?
Why is Prelude.mod marked as a total function when it is not defined when the second argument is zero?
Why is Prelude.mod marked as a total function when it is not defined when the second argument is zero?