(a,a) -> [a]
(a,a) -> a -> Bool
(a,a) -> a -> Int
(a,a) -> Int