hask3.Data.Num – The Data.Num

Ratio

The ADT Ratio:

Ratio, R =\
   data.Ratio("a") == d.R("a", "a") & deriving(Eq)
Rational

A Ratio over int. Defined as t(Ratio, int).

R(a, a)

The constructor of a Ratio.