Polyvariadic zipWith.

ZipWithN.hs

{-# LANGUAGE
    FlexibleInstances, 
    MultiParamTypeClasses, 
    UndecidableInstances, 
    IncoherentInstances, -- GHC 7.10 can do with only Overlapping
    TypeFamilies #-}

class ZipWithN f t where
    zipWithN' :: [f] -> t 

instance t ~ [r] => ZipWithN r t where
    zipWithN' r = r

instance (ZipWithN b t, t' ~ ([a] -> t)) => ZipWithN (a -> b) t' where
    zipWithN' f = zipWithN' . zipWith ($) f

zipWithN :: ZipWithN f t => f -> t
zipWithN = zipWithN' . repeat

main = print $ zipWithN (*) [0..10] [0..10]