>tan</code>, <code>atan</code> are missing at the moment.</li></ul><ul><li>Inferred types can be very large. Eg for <code>f a b c = sqrt (a + b * c + 1)</code> the inferred type is:</li></ul><pre>     f: (CanMulAsymmetric t1 t2, CanAddAsymmetric t4 (MulType t1 t2),
         CanAddAsymmetric (AddType t4 (MulType t1 t2)) Integer,
         CanSqrt (AddType (AddType t4 (MulType t1 t2)) Integer)) =&gt;
        t4
        -&gt; t1
        -&gt; t2
        -&gt; SqrtType (AddType (AddType t4 (MulType t1 t2)) Integ