No errors in TH.
Fixes in TH code gen for algebraic types.