Add tail-recursive effects evaluation demo