let make_list = \h t. \f z continue_handler abort_handler.
f h z (\z. t f z continue_handler abort_handler) abort_handler
- now `extract_head` can return the leftmost head directly, using its `abort_handler`:
+ now `extract_head` should return the leftmost head directly, using its `abort_handler`:
let extract_head = \lst larger_computation. lst
; here's our f