fixed driver, now terminating. stacks are now transformers rather than monads