import Data.Typeable main = print $ typeOf zipWith