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:
<!--