[examples] added GADT example for makeFree