Some details
Completely edited the GADT. I think the file is done modulo some revision.