Thanks. I'll go with the monad for now. Geoffrey On Sat, Jun 20, 2009 at 4:40 PM, Lennart Augustsson wrote:

Use 1. You'll probably need a monad in the type checker soon or later anyway, e.g., for handling errors.

On Sun, Jun 21, 2009 at 5:13 AM, Zsolt Dollenstein wrote:

I think you should also take a look at the value-supply package. At least that was my solution for scope analysis issues.