is-happy as a multimethod; less dependency on the state
trees keeping their left & right