GADT example for makeFree

Example with retriable blocks.
Updated `Control.Monad.Free.TH` to mention GADTs support.