Total functions and beyond

5 points by segeda