Semigroups, specialized containers and a general map/reduce framework - View it on GitHub