HASKELL_ReTA_Encoding