[TH] update module docs to mention GADTs
[examples] added GADT example for makeFree
[TH] missed bar
Merge pull request #63 from fizruk/TH-GADT-example

GADT example for makeFree