Re: foldrM definition