yesno type class
Tree as functors