Finger Trees: A Simple General-purpose Data Structure (www.reddit.com)