Consider the Following function. foo :: Int -> Int -> Int foo x y | x == y = x `mod`y | otherwise = x + y Which of the following would be the most appropriate type to generalise the function type? a. foo :: (Num a, Eq a) => a -> a -> a b. foo :: a -> a -> a c. foo :: Num a => a -> a -> a