Re: SYB generics and Monad vs Applicative