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