GHCi, version 6.10.4: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a> :? for help<br>Loading package ghc-prim ... linking ... done.<br>Loading package integer ... linking ... done.<br>Loading package base ... linking ... done.<br>
Prelude> let f x = x*x<br>Prelude> let g x y = x+y<br>Prelude> let q x y = (f . g) x y<br>Prelude> :t q<br>q :: (Num (a -> a), Num a) => a -> a -> a<br><br><br>I'm somewhat of a beginner so the error could definitely be my own, but it seems to me like the third line should be rejected by GHCi. As for the 4th line, the type of q seems nonsensical to me. I can't figure out any possible valid meaning of 'Num (a -> a) '.<br>
<br>Can anyone shed some light on this?<br><br>Zach<br>