<div dir="ltr">Hi All,<div><br></div><div>can some one explain to me why</div><div><br></div><div>ghci> let f:: (Ord a, Num b) => a -> b -> a ; f=undefined</div><div>ghci> :t f 1 2</div><div>ghci> f 1 2 :: (Num a, Ord a) => a<br clear="all"><div><br></div><div>The initial type signature just required <i>a</i> to be a type that is an instance of Ord but after it had the additional constraint of Ord as well???</div><div><br></div><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Best Regards,<div>Boon Hui</div></div></div>
</div></div>