Use TH to generate uniplate-like functions.