import Data.Typeable

main = print $ typeOf (zipWith (+) [1 :: Int])