This module contains Template Haskell code that can be used to automatically generate the boilerplate code for the multirec library. The constructor information can be generated per datatype, the rest per family of datatypes.
Given a list of datatype names, derive datatypes and
instances of class
Given the name of the index GADT, the names of the
types in the family, and the name (as string) for the
pattern functor to derive, generate the
instances. IMPORTANT: It is assumed that the constructors
of the GADT have the same names as the datatypes in the