The implicite continuation of a function is turned into an explicit parameter
Every function takes an extra parameter: A continuation which is a function of a single parameter
No function returns normally