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

[Dan Piponi]

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