Haskell Argument Abstraction Module