Data.Ratio
data Ratio a
type Rational