mapTuple :: (a -> b) -> (a, a) -> (b, b)
--mapTuple :: ([Term] -> [Term]) -> ([Term],[Term]) -> ([Term],[Term])
mapTuple f (x, y) = (f x , f y)
mapTuple :: (a -> b) -> (a, a) -> (b, b)
mapTuple f (x, y) = (f x , f y)
mapTuple f (x, y) = (f x , f y)