In ghci 7.4.1: Prelude> :t (+1) (+1) :: Num a => a -> a Prelude> let inc=(+1) Prelude> :t inc inc :: Integer -> Integer Why the difference? Thanks, Greg -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120522/cbecab41/attachment.htm>