Data.Functor.Free.TH