Re: Proposal: newtype for applicatives of monoids