Type-aligned data-types in Scala.
Can be used to implement, for example, stack-safe function composition.
Contains:
APair, type-aligned pair.AList, type-aligned list.AList1, type-aligned non-empty list.FreeCompose, type-aligned sequence with O(1) addition to both ends and O(1) concatenation.Binary, binary counter-like builder of composed objects in a balanced fashion. Used in other sequences to implement balanced reduction.