How do you make a function total?

The Eric Normand Podcast - A podcast by Eric Normand

It is easier to reason about total functions. And you can make any pure function total using three techniques!