Does this use research results like finger trees?

Is the primary motivation practical in the sense of invariants or also geared towards compiler tricks?