Ratio
Rational

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