Port of PowerCollections to S#