Improve the comment.
Generate HFoldable instances using TH.