Automatic derivation of Parse instances. The derived instances read prefix, infix and record forms, where possible.

Because context derivation is rather primitive, you will need -fallow-undecidable-instances in most cases.

Takes the name of an algebraic data type, the number of type parameters it has and creates a Typeable instance for it.

This function is taken from the Derive module from the SYB3 code distribution, (C) 2005, Ralf Laemmel and Simon Peyton Jones, see http://homepages.cwi.nl/~ralf/syb3/code.html.