This module defines the infrastructure necessary to use Generalised Compositional Data Types. Generalised Compositional Data Types is an extension of Compositional Data Types with mutually recursive data types, and more generally GADTs. Examples of usage are bundled with the package in the library examples/Examples/Multi.

This is a fork of Patrick Bahrs compdata package. The chief differences are that the representation of sums has been replaced with a version that uses constant memory, and the portions of the library for single-sorted terms have been removed to speed compilation times. There are several minor changes and additions to the utility functions of this library.