Signed-off-by: Jim Pryor <profjim@jimpryor.net>
TreeCont.monadize (fun a -> fun k -> k (a*a)) t1 (fun t -> t);;
-But because of the way our monad library hides the underlying machinery, you can't just say `fun k -> k (a*a)`, you have to say `shift (fun k -> k (a*a))`.
+But because of the way our monad library hides the underlying machinery, here you can no longer just say `fun k -> k (a*a)`; you have to say `shift (fun k -> k (a*a))`.
Moving on, we can count the leaves:
<!--