Data.Functor.Foldable.Extensions.TH