fun fst (x, _) = x; fun snd (_, y) = y;