Update TN.hs.