<p dir="ltr">>Where does the infinity come from?</p>
<p dir="ltr">Here is composition signature:</p>
<p dir="ltr"><a href="http://hackage.haskell.org/package/base-4.8.1.0/docs/Prelude.html#v:.">(.)</a> :: (b -> c) -> (a -> b) -> a -> c</p>
<p dir="ltr">It looks like it is applicable to functions with 1 arg. Sum expects 2 args. I guess this explains why sum can not be passed to f</p>