simplify structure
adjust sample code used in algorithm study
add a thunk, let's see if this will make sense
oops, cleanup
All signs are leading to the y-combinator, deferring this for now
1.3.3