Lennart Augustsson wrote: > No hardware drivers use global variables. No problem, write your hardware drivers in a different monad. Thus IO is the type for code that can use global variables, and H (or whatever) is the type for code that must not. -- Ashley Yakeley