support translation from AO to Haskell code