[Haskell-cafe] The Haskell type inference feature I'd really like to see

I'd like to be able to write something like

map zipWith ([1,2,3] >>= printMyInferredType)

and have the compiler treat 'printMyInferredType' as undefined, but also produce the side effect of printing out its inferred type. What's the easiest way to simulate this with what we have now? -- Dan