TH version of leak.hs