Ratio
Rational
a -> a -> Ratio a
a -> a -> Rational
Ratio a -> a