On Tue, Oct 25, 2011 at 05:08:35PM +0200, Agata Murawska wrote: > This makes a generalization of declareIADT and declareSADT, a > 'declareADT', which expects an additional argument, name of the simple > type which is a base for the ADT.
LGTM, very nice, thanks! iustin
