Lexically scoped type variables

[Simon Peyton-Jones]

| That was exactly my problem. How should I find out the type of
| attachListOp (I have not written this bit of code)? Could I somehow
ask
| ghci-6.4.1 to do it for me?

(Unsatisfactory but would work) You could compile with -ddump-ds and
look at the output.

Simon