Re: Proposal: Export String from Data.String (and two related proposals)