Hypertypes - generic programming for heterogeneous recursive types - View it on GitHub