(==) (Pair one two) (Pair one' two') =
    (==) one one' && (==) two two'
(==) (Pair one two) (Pair one' two') =
    (==) one one' && (==) two two'
(==) (Pair one two) (Pair one' two') =
    (==) one one' && (==) two two'