implemented combinators to lift arbitrary Haskell expressions to AG expressions