31 May 2001 16:10:43 -0600, Alastair David Reid <reid@cs.utah.edu> pisze:

and

if foo has type

foo :: (Ord a) => ty

then fooBy has type

fooBy :: (a -> a -> Bool) -> ty

It's (a -> a -> Ordering) -> ty, with the default value being compare. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK