-element to 0. In the end, `v2` consists of a pair of a tree of askers, and a
-`char -> int` environment. We can use `TR.monadize` to convert that tree of
-askers into a tree-asker, that is, a function from an environment to a tree. And we then feed it the very environment that was `v2`'s final store:
+element to 0. In the end, `v2` consists of a pair of a tree and a
+`char -> int` environment. We can use `TR.monadize` to convert that tree into a tree-asker, that is, a function from an environment to a tree. And we then feed it the very environment that was `v2`'s final store:
+
+ let asker : char -> int Reader_custom.m =
+ fun (a : char) -> fun (env : char -> int) -> env a;;