module Example2 where uncurried_plus (x,y) = x + y