title: Integer -> Double -> String
body: <p>I am not sure, I understand this:</p>
  <pre><code>f :: Integer -&gt; Double -&gt; String -&gt; String
  f a d s = undefined
  </code></pre>
  <p>What can the potential body of <code>f</code> be here? I am confused by this new syntax never encountered before.</p>
  <p><strong>EDIT:</strong> So, since <code>a</code> is an <code>Integer</code>, and <code>d</code> is a <code>Double</code>, can the body of the method be written as such, that a <code>String</code> is returned depending on the type? Like a comparison.</p>
  <p><strong>Python:</strong></p>
  <pre><code>def f(a: int, d: float, s: str) -&gt; str:
    if(s == &quot;Is Integer less than Double&quot;):
      if(a &lt; d):
        return &quot;Yes, it is.&quot;
      else:
        return &quot;No, it isn't&quot;
  </code></pre>
  <p><strong>How to do the same in Haskell?</strong></p>