The abs to haskell transcompiler