darcs-2.1.2.1: src/gadts.h

#ifdef GADT_WITNESSES

#define C(contexts) contexts
#define FORALL(types) forall types.

#else

#define C(contexts)
#define FORALL(types)

#endif