Re: Counter proposal: Do not include whenM and ifM