Redundant definitons?
Yes we can define fst and snd.