logic walk assoc using eq?
smk update
smk test case
racket lazy evaluation demo
maybe/writer/state monad