-- T8624.hs:(7,3)-(8,43): Splicing declarations
data THDec = THDec