>dividing an integer by an integer, giving a rational:</li></ul><pre>let n = 1 :: Integer in n/(n+1) :: Rational</pre><pre>1/2 :: Rational</pre><p>(The type Rational would be derived automatically because
      integer literals are always of type <code>Integer</code>, not <code>Num t =&gt; t</code>.)</p><ul><li>adding an integer and a rational, giving a rational:</li></ul><pre>(length [x])+1/3 :: Rational</pre><ul><li>taking natural, integer and fractional power using the same operator:</li></ul><pre>2^2 ::