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