Use th-desugar.

  Thank you Richard Eisenberg.