Hello, This happens in GHC 6.2.2:
Prelude> let lf $$$ lx = zipWith ($) lf lx Prelude> :i $$$ -- $$$ is a variable, defined at <interactive>:1 ($$$) :: forall b b. [b -> b] -> [b] -> [b] Prelude> :t ($$$) ($$$) :: forall b b1. [b1 -> b] -> [b1] -> [b] Note the difference in types presented by :info and :type. Also note that in :info there are two 'b' variables between 'forall' and dot. Best regards, Tomasz _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs