Generic finger-tree structure using type families.