indicate list comprehension monadic equiv
tweak tree example