Act monad
working on adding more operations on trees