The “Totality Rule” in Functional Programming