empty, view::tail, view::recursive_range_fn, and a Fibonacci sequence example