title: possible solution that dealing with result end up with "(RealFrac a,Integral a)=>a"
body: <pre><code>ts ::(RealFrac a,Integral a)=&gt;a
  ts =5 
  
  ghci &gt; ts
   * Ambiguous type variable `a0' arising from a use of `print'
        prevents the constraint `(Show a0)' from being solved.
        Probable fix: use a type annotation to specify what `a0' should be.
        These potential instances exist:
          instance (Show a, Show b) =&gt; Show (Either a b)
            -- Defined in `Data.Either'
          instance Show Ordering -- Defined in `GHC.Show'
          instance Show Integer -- Defined in `GHC.Show'
          ...plus 24 others
          ...plus 80 instances involving out-of-scope types
          (use -fprint-potential-instances to see them all)
      * In a stmt of an interactive GHCi command: print it
  
  </code></pre>
  <p>I know it can be solve by avoid using some function together to prevent the result with constrain <code>(RealFrac a,Integral a)</code> togather, but is there any other possible way to solve it that only dealing with the result?</p>