tell
uniform
treeMonoid
uniform