rose tree applicative instance