haskellbook p151 write a type signature assignment no. 2

bwe 2018-04-15 15:34:26.282565 UTC

1functionC x y =
2if (x > y) then True else False
3
4-- why is the type definition
5-- functionC :: (Ord a, Ord b) => a -> b -> Bool
6-- wrong? For which reason GHCi infers that a and b are of the same type?
7-- functionC :: Ord a => a -> a -> Bool -- type definition derived by GHCi