Work in progress. Not for usage yet. Port of Haskell library: http://hackage.haskell.org/package/fingertree-0.1.4.1
fingertree: Generic finger-tree structure, with example instances. Idris
A general sequence representation with arbitrary annotations, for use as a base for implementations of various collection types