Consider the following function. func:: Ord a => a -> a -> a func xy |...

 

Transcribed Image Text:

Consider the following function. func:: Ord a => a -> a -> a func xy | x> y=x ly > x=y Why does this function need to restrict its type to members of the Ord typeclass? Consider the following function. func:: Ord a => a -> a -> a func xy | x> y=x ly > x=y Why does this function need to restrict its type to members of the Ord typeclass?