Rose tree compiles with Bifunctor
sample with pmap