Generate HUnfoldable instances using TH.