Nonuniform (or “nested” or “heterogeneous”) datatypes are recursively defined types in
which the type arguments vary recursively. They arise in the implementation of finger trees …