pairs (x:xs) = map (\y -> (x,y)) xs ++ pairs xs