LL can be a monad transformer!

No more dependency on IO.