High-order abstraction for reducible data structures - View it on GitHub