thorn

Thorn generates functors from various kinds of datatypes, regardless of arity or variances. folds and unfolds from various kinds of recursive datatypes, including mutually recursive ones. A single function of Thorn will give you a lot. Just try it.