Re: Ratio: (-1:%1) < (-1:%1)?

[Lennart Augustsson]

> The definition
> of (*) in the Prelude has to be clumsy because it cannot
> assume that this will the case because users can construct
> their own Ratios.
How can a user create his own Ratio?  The % operation does the
GCD reduction, as does every other operation that creates a Ratio.

        -- Lennart