* Experimental minimalistic support of GADT * Allows to register predefined instances * Compatibility with typeconv >= 108.07.00