sai-shape-syb-0.3.2: Obtain homogeneous values from arbitrary values, transforming or culling data

This package provides SYB shape support: generic mapping to homogeneous types, and related features. Complements existing Uniplate and TH shape libraries.

Given a value of arbitrary complexity (mutually recursive heterogeneous constructor application), you can obtain a structure-preserving representation (homomorphism) as a homogeneous type Homo a, parameterised by any choice type a.

See the project homepage for more information.