Re: Proposal: Generalize forever to Applicative